Tilbage til artikeldetaljer The Use of Sorts in Algebraic Specifications Download Download PDF