1. Aho, Hopcroft and Ullman, “The Design and Analysis of Computer Algorithms”, Addison-Wesley, 1974.
2. Cieslak R., Desclaux C., Fawaz A., Varaiya P. “Supervisory Control of Discrete Event Processes with Partial Observations”, Memorandum No. UCB/ERL M86 /63, August 1986.
3. M.R. Garey, D.S. Johnson, “Computers and Intractability: A Guide to the Theory of NP-Completeness”, W.H. Freeman and Co., New York, 1978.
4. J.E. Hopcroft, J.D. Ullman, “Introduction to Automata Theory, Languages and Computation”, Addison-Wesley, 1979.
5. Lam S. S., Shankar U. “Protocol Verification via Projections”, IEEE Transactions on Software Engineering vol SE-10, No 4, July 1984.