author : Andrew M. Gravell

Short works

• Refinement Semantics and Loop Rules. 1999. (In FM'99 volume 2 )
• Extraction of Abstraction Invariants for Data Refinement. 2002. (In ZB 2002 )