John M. Rushby
Subtypes for Specifications
ESEC, 1997.
@inproceedings{ESEC-FSE-1997-Rushby, author = "John M. Rushby", booktitle = "{Proceedings of the Sixth European Software Engineering Conference / Fifth Symposium on Foundations of Software Engineering}", doi = "10.1145/267895.267898", editor = "Mehdi Jazayeri and Helmut Schauer", isbn = "3-540-63531-9", pages = "4--19", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Subtypes for Specifications}", volume = 1301, year = 1997, }