1. Abdulla, P.A., Chen, Y.-F., Clemente, L., Holík, L., Hong, C.-D., Mayr, R., Vojnar, T.: Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing. Technical report FIT-TR-2010-02, FIT BUT (2010), http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2010-002.pdf
2. Lecture Notes in Computer Science;P.A. Abdulla,2010
3. Abdulla, P.A., Chen, Y.-F., Holík, L., Vojnar, T.: Mediating for Reduction (On Minimizing Alternating Büchi Automata). In: Proc. of FSTTCS’09, Leibniz International Proceedings in Informatics, vol. 4 (2009)
4. Büchi, J.R.: On a Decision Method in Restricted Second Order Arithmetic. In: Proc. of Int. Con. on Logic, Method, and Phil. of Science (1962)
5. Lecture Notes in Computer Science;L. Doyen,2007