Implementation of Modular Algebraic Specifications (1991)

by P R H Hendriks