Marcel Oliveira Ana Cavalcanti Jim Woodcock ArcAngel: a Tactic Language for Refinement. 28-47 2003 15 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-003-0003-8 db/journals/fac/fac15.html#OliveiraCW03