Kevin Lano, S. J. Goldsack. Refinement, Subtyping and Subclassing in VDM++. In Chris Hankin, Ian Mackie, Rajagopal Nagarajan, editors, Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. pages 341-363, Imperial College Press, 1994.
@inproceedings{LanoG94,
title = {Refinement, Subtyping and Subclassing in VDM++},
author = {Kevin Lano and S. J. Goldsack},
year = {1994},
tags = {refinement, subtyping},
researchr = {https://researchr.org/publication/LanoG94},
cites = {0},
citedby = {0},
pages = {341-363},
booktitle = {Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994},
editor = {Chris Hankin and Ian Mackie and Rajagopal Nagarajan},
publisher = {Imperial College Press},
isbn = {1-86094-003-X},
}