author : Stephen M. Brien

Short works

• W: A Logic for Z. 1992. (In 6th Z User Workshop )