L. Varga, “Synthesis of abstract algorithms”, Acta Cybern, vol. 5, no. 1, pp. 59–76, Jan. 1980.