Augmenting algebraic specifications with structural subsorting (1994)

by Y V Srinivas, R Juellig
Venue:In Proceedings of the IFIP TC2 Working Coference on Programming Concepts, Methods and Calculi (PROCOMET'94