J. Sarbó, “ABSTRACT EXECUTION OF PROGRAMS”, Period. Polytech. Elec. Eng., vol. 30, no. 1, pp. 37–47, Jan. 1986.