Z and Natural Semantics

@inproceedings{Baumann1994ZAN,
  title={Z and Natural Semantics},
  author={Peter Baumann},
  booktitle={Z User Workshop},
  year={1994}
}