Adi Shamir, William W. Wadge
Data Types as Objects
ICALP, 1977.
@inproceedings{ICALP-1977-ShamirW, author = "Adi Shamir and William W. Wadge", booktitle = "{Proceedings of the Fourth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-08342-1_36", isbn = "3-540-08342-1", pages = "465--479", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Data Types as Objects}", volume = 52, year = 1977, }