Bertsekas, D.P. (1987). Dynamic Programming. Prentice Hall, Englewood Cliffs, NJ.
Läuchli, P. (1991). Algorithmische Graphentheorie. Birkhäuser, Basel.
Riedel, Th. (1991). Reglerentwurf für Verkehrskreuzungen, theoretische Aspekte (Some Theoretical Aspects for Designing Traffic Light Controllers). Automatic Control Lab Report No. 91-19, ETH Zürich (also presented with title "A Generic DEDS Control" at: Workshop on Discrete Event Systems, Amherst, MA, June 1991.
Riedel, Th and U. Brunner (1992). A control algorithm for traffic lights. The 1st IEEE conference on control applications, Dayton, OH, Sept. 1992.