“...IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation Bad Tőlz, Německo)...”