MOSSES, P. D. The Use of Sorts in Algebraic Specifications. DAIMI Report Series, [S. l.], v. 21, n. 416, 1992. DOI: 10.7146/dpb.v21i416.6729. Disponível em: https://tidsskrift.dk/daimipb/article/view/6729. Acesso em: 26 maj. 2024.