Kotkas, V. 2002. A distributed program synthesizer. Acta Cybernetica. 15, 4 (Jan. 2002), 567-581.