author : Chris T. Sennett

Books

• High-integrity Software. 1989

Papers/Articles

• Experiences with PiZA, an animator for Z. 1997. In ZUM '97