Flaviu Cristian
Robust Data Types
FM, 1981.
@inproceedings{PS-1981-Cristian, author = "Flaviu Cristian", booktitle = "{Proceedings of a Workshop on Program Specification}", doi = "10.1007/3-540-11490-4_16", isbn = "3-540-11490-4", pages = "215--254", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Robust Data Types}", volume = 134, year = 1981, }