Z and Abstract Machine Notation: A Comparison

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},
}