Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. In Z User Workshop. pages 120-138, 1994.
@inproceedings{Hall94:1,
title = {Specifying and Interpreting Class Hierarchies in Z},
author = {Anthony Hall},
year = {1994},
researchr = {https://researchr.org/publication/Hall94%3A1},
cites = {0},
citedby = {0},
pages = {120-138},
booktitle = {Z User Workshop},
}