author : Chris T. Sennett

Books

• High-integrity Software. 1989

Short works

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