No. 416 (1992): PB-416 The Use of Sorts in Algebraic Specifications

Published: 1992-09-01