Derek Coleman, Robin M. Gallimore
Partial Correctness of Distributed Programs
FM, 1981.
@inproceedings{PS-1981-ColemanG, author = "Derek Coleman and Robin M. Gallimore", booktitle = "{Proceedings of a Workshop on Program Specification}", doi = "10.1007/3-540-11490-4_14", isbn = "3-540-11490-4", pages = "138--180", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Partial Correctness of Distributed Programs}", volume = 134, year = 1981, }