Algebraic specification with higher-order operators (1987)

by B Moller
Venue:Program Specification and Transformation (North-Holland/IFIP