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