Sarbó, János. 1986. “ABSTRACT EXECUTION OF PROGRAMS”. Periodica Polytechnica Electrical Engineering 30 (1):37-47.