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):99-153.