Egidio Astesiano, Maura Cerioli
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications
TAPSOFT, 1989.
@inproceedings{CAAP-1989-AstesianoC,
author = "Egidio Astesiano and Maura Cerioli",
booktitle = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}",
doi = "10.1007/3-540-50939-9_125",
isbn = "3-540-50939-9",
pages = "74--88",
publisher = "{Springer}",
title = "{On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications}",
year = 1989,
}