Peter Gorm Larsen. Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. In D. J. Andrews, Jan Friso Groote, C. A. Middelburg, editors, Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, pages 118-134, Springer, 1993.
@inproceedings{Larsen93,
title = {Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL},
author = {Peter Gorm Larsen},
year = {1993},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/Larsen93},
cites = {0},
citedby = {0},
pages = {118-134},
booktitle = {Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993},
editor = {D. J. Andrews and Jan Friso Groote and C. A. Middelburg},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19854-7},
}