P. D. Mosses, “The Use of Sorts in Algebraic Specifications”, DPB, vol. 21, no. 416, Sep. 1992.