The Use of Sorts in Algebraic Specifications.

Peter D. Mosses The Use of Sorts in Algebraic Specifications. 66-92 1991 conf/compass/1991 COMPASS/ADT db/conf/compass/compass91.html#Mosses91