Structured algebraic specifications: A kernel language (1986)

by M Wirsing
Venue:Theor. Comput. Sci