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), pp. 99–153.