author : David Duke

Short works

• Enhancing the Structure of Z Specifications. 1992. (In 6th Z User Workshop )