Kurki-Suonio, R. 1990. Towards languages that support program derivation : or control modularity considered harmful. Acta Cybernetica. 9, 3 (Jan. 1990), 179-192.