Partially ordered sorts in algebraic specifications (1984)

by Martin Gogolla
Venue:Proceedings, Ninth CAAP