1. A Discipline of Programming;Dijkstra,1976
2. Lectures on Boolean Algebras;Halmos,1972
3. Feedback systems in a general algebraic setting;Liepa;IEEE Trans. Circuits and Systems,1978
4. Control and Supervision of Discrete Event Processes;Ramadge,1983
5. Supervisory control of a class of discrete-event processes;Ramadge,1984