Algebraic specification (1990)

by M Wirsing
Venue:Handbook of Theoretical Computer Science