Author: IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation (1986 Bad Tölz, Germany)