Antoni Diller, Rosemary Docherty. Z and Abstract Machine Notation: A Comparison. In Z User Workshop. pages 250-263, 1994.
@inproceedings{DillerD94, title = {Z and Abstract Machine Notation: A Comparison}, author = {Antoni Diller and Rosemary Docherty}, year = {1994}, tags = {abstract machine}, researchr = {https://researchr.org/publication/DillerD94}, cites = {0}, citedby = {0}, pages = {250-263}, booktitle = {Z User Workshop}, }