Implementing higher-order algebraic specifications - Heering, Jan (1991)