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