Sarbó, J. “ABSTRACT EXECUTION OF PROGRAMS”, Periodica Polytechnica Electrical Engineering, 30(1), pp. 37–47, 1986.