R. Kurki-Suonio, “Towards languages that support program derivation : or control modularity considered harmful”, Acta Cybern, vol. 9, no. 3, pp. 179-192, Jan. 1990.