author : Ana L. C. Cavalcanti

Short works

• MooZ Case Studies. 1992. (In Object Orientation in Z )
• A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. 1999. (In FM'99 volume 2 )
• The Semantics of Circus. 2002. (In ZB 2002 )