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.
@inproceedings{Petzsch84, title = {Automatic Prototyping of Algebraic Specifications using PROLOG}, author = {Heiko Petzsch}, year = {1984}, tags = {Prolog, algebraic specification, algebra}, researchr = {https://researchr.org/publication/Petzsch84}, cites = {0}, citedby = {0}, pages = {207-223}, booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers}, editor = {Hans-Jörg Kreowski}, volume = {116}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-16077-9}, }