Morten Elvang-Gøransson. Classification of Refinements in VDM. In Cliff B. Jones, Roger C. Shaw, B. Tim Denvir, editors, 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, pages 172-180, Springer London, 1992. [doi]
@inproceedings{Elvang-Goransson92, title = {Classification of Refinements in VDM}, author = {Morten Elvang-Gøransson}, year = {1992}, doi = {10.1007/978-1-4471-3550-0_9}, url = {https://doi.org/10.1007/978-1-4471-3550-0_9}, researchr = {https://researchr.org/publication/Elvang-Goransson92}, cites = {0}, citedby = {0}, pages = {172-180}, booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992}, editor = {Cliff B. Jones and Roger C. Shaw and B. Tim Denvir}, series = {Workshops in Computing}, publisher = {Springer London}, isbn = {978-3-540-19752-2}, }