Ralph-Johan Back. Refinement Calculus, Lattices and Higher Order Logic. In Manfred Broy, editor, Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. Volume 118 of NATO ASI Series, pages 53-71, Springer, 1992. [doi]
@inproceedings{Back92-1,
title = {Refinement Calculus, Lattices and Higher Order Logic},
author = {Ralph-Johan Back},
year = {1992},
doi = {10.1007/978-3-662-02880-3_2},
url = {https://doi.org/10.1007/978-3-662-02880-3_2},
researchr = {https://researchr.org/publication/Back92-1},
cites = {0},
citedby = {0},
pages = {53-71},
booktitle = {Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992},
editor = {Manfred Broy},
volume = {118},
series = {NATO ASI Series},
publisher = {Springer},
isbn = {978-3-662-02880-3},
}