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