Mosses, P. D. “The Use of Sorts in Algebraic Specifications”. DAIMI Report Series, bd. 21, nr. 416, september 1992, doi:10.7146/dpb.v21i416.6729.