1. Finite automata and their decision problems;Rabin;IBM Journal of Research and Development,1959
2. Introduction to Automata Theory, Languages, and Computation;Hopcroft,2006
3. Diagnosis of Active Systems: Principles and Techniques; vol. 741 of Springer International Series in Engineering and Computer Science;Lamperti,2003
4. Monitoring of active systems with stratified uncertain observations;Lamperti;IEEE Transactions on Systems, Man, and Cybernetics – Part A: Systems and Humans,2011
5. From diagnosis of active systems to incremental determinization of finite acyclic automata;Lamperti;AI Communications,2013