Arató, P. 1987. SPECIFICATION AND REALISATION OF LOGIC CONTROL PROCEDURES ON THE BASIS OF PRESCRIBED INPUT-OUTPUT CHANGES. Periodica Polytechnica Electrical Engineering. 31, 3-4 (Jan. 1987), 99–153.