An analysis of semantic models for algebraic specifications (1982)

by M Wirsing, M Broy
Venue:In Proc. Intl. Summer School on Theoretical Foundations of Programming Methodology. Reidel