Mosses, P. D. The Use of Sorts in Algebraic Specifications. DPB 1992, 21.