Initial behaviour semantics for algebraic specifications (1988)

by M P Nivela, F Orejas
Venue:In Recent Trends in Data Type Specification