1. Dijkstra EW (1976) A discipline of programming. Prentice-Hall, Upper Saddle River
2. Falcione A, Krogh B (1993) Design recovery for relay ladder logic. IEEE Control Syst 13(2):90–98
3. Li Y (1991) Control of vector discrete-event systems. PhD thesis, Department of Electrical Engineering, University of Toronto
4. Li Y, Wonham WM (1988a) Controllability and observability in the state-feedback control of discrete-event systems. In: Proceedings of the twenty-seventh IEEE conference on decision and control, New York, pp 203–208
5. Li Y, Wonham WM (1988b) A state-variable approach to the modeling and control of discrete-event systems. In: Proceedings of the twenty-sixth annual Allerton conference on communication, control, and computing, University of Illinois, pp 1140–1149