P. Arató, “SPECIFICATION AND REALISATION OF LOGIC CONTROL PROCEDURES ON THE BASIS OF PRESCRIBED INPUT-OUTPUT CHANGES”, Period. Polytech. Elec. Eng., vol. 31, no. 3-4, pp. 99–153, Jan. 1987.