On recent trends in algebraic specification (1989)

by H Ehrig, P Pepper, F Orejas
Venue:In Proc. ICALP'89, LNCS 372, 263--288