Adi Shamir, William W. Wadge. Data Types as Objects. In Arto Salomaa, Magnus Steinby, editors, Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Volume 52 of Lecture Notes in Computer Science, pages 465-479, Springer, 1977.
Abstract is missing.