Implementation of parameterised specifications (0)

by D T Sannella, M Wirsing
Venue:in Proc. 9th Int. Colloq