Formal speci cations with higher-order parameterization (1994)

by M-V Cengarle