Algebraic specification of modules (1985)

by H Ehrig, H Weber
Venue:In: Formal Models in Programming (E.J. Neuhold and