Martin Wirsing, Manfred Broy. Abstract Data Types as Lattices of Finitely Generated Models. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Volume 88 of Lecture Notes in Computer Science, pages 673-685, Springer, 1980.
No references recorded for this publication.
No citations of this publication recorded.