author : Rob D. Arthan

Short works

• On Free Type Definitions in Z. 1992. (In 6th Z User Workshop )
• Recursive Definitions in Z. 1998. (In ZUM '98 )
• Analysis of Compiled Code: A Prototype Formal Model. 2000. (In ZB 2000 )