Implementation of parameterised specifications
1982 ◽
pp. 473-488
◽