Formal Specifications with Higher-Order Parameterization (1994)

by María Victoria Cengarle