Semantics of order-sorted specifications (1992)

by U Waldmann
Venue:Theoretical Computer Science