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