Second order algebraic specification of static semantics - Heering, Jan (Centrum voor Wiskunde en Informatica, 1992)