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