Martín Abadi, Leslie Lamport. The Existence of Refinement Mappings. In Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. pages 165-175, IEEE Computer Society, 1988.
@inproceedings{AbadiL88, title = {The Existence of Refinement Mappings}, author = {Martín Abadi and Leslie Lamport}, year = {1988}, tags = {refinement}, researchr = {https://researchr.org/publication/AbadiL88}, cites = {0}, citedby = {0}, pages = {165-175}, booktitle = {Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK}, publisher = {IEEE Computer Society}, }