Return to Article Details The Use of Sorts in Algebraic Specifications Download Download PDF