Varga, L. 1980. Synthesis of abstract algorithms. Acta Cybernetica. 5, 1 (Jan. 1980), 59-76.