## Gabriele Marongiu, Sauro Tulipani

*Finite Algebraic Specifications of Semicomputable Data Types*

TAPSOFT, 1987.

@inproceedings{CAAP-1987-MarongiuT, author = "Gabriele Marongiu and Sauro Tulipani", booktitle = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-17660-8_51", isbn = "3-540-17660-8", pages = "111--122", publisher = "{Springer}", title = "{Finite Algebraic Specifications of Semicomputable Data Types}", year = 1987, }