author : Maarten Steen

Short works

• Viewpoints and Objects. 1995. (In ZUM '95 )
• Weak Refinement in Z. 1997. (In ZUM '97 )