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

Publiceret: 1992-09-01