author : Richard F. Paige

Short works

• Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. 1998. (In ZUM '98 )
• Bunches for Object-Oriented, Concurrent, and Real-Time Specification. 1999. (In FM'99 volume 1 )
• Developing BON as an Industrial-Strength Formal Method. 1999. (In FM'99 volume 1 )
• High-level circuit design. 2003. (In Programming Methodology )