Rob Gerth. Foundations of Compositional Program Refinement - Safety Properties. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings. Volume 430 of Lecture Notes in Computer Science, pages 777-807, Springer, 1989.
@inproceedings{Gerth89,
title = {Foundations of Compositional Program Refinement - Safety Properties},
author = {Rob Gerth},
year = {1989},
tags = {refinement, composition},
researchr = {https://researchr.org/publication/Gerth89},
cites = {0},
citedby = {0},
pages = {777-807},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
volume = {430},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-52559-9},
}