author : Rosemary Docherty

Short works

• Z and Abstract Machine Notation: A Comparison. 1994. (In 8th Z User Workshop )