Heiko Petzsch. Automatic Prototyping of Algebraic Specifications using PROLOG. In Hans-Jörg Kreowski, editor, Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers. Volume 116 of Informatik-Fachberichte, pages 207-223, Springer, 1984.
No references recorded for this publication.
No citations of this publication recorded.