On the Algebraic Extensions of Abstract Data Types

Manfred Broy, Martin Wirsing. On the Algebraic Extensions of Abstract Data Types. In Josep Díaz, Isidro Ramos, editors, Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings. Volume 107 of Lecture Notes in Computer Science, pages 244-251, Springer, 1981.

Abstract

Abstract is missing.