On the existence of initial models for partial (higher-order) conditional specifications (1989)

by E Astesiano, M Cerioli
Venue:In Proc. Joint Conf. on Theory and Practice of Software Development