1. Lecture Notes in Computer Science;R. Alur,2001
2. Barrett, W.A., Bates, R.M., Gustafson, D.A., Couch, J.D.: Compiler Construction: Theory and Practice, 2nd edn. Science Research Associates (1986)
3. Lecture Notes in Computer Science;M. Benedikt,2001
4. Lecture Notes in Computer Science;J. Billington,2004
5. Billington, J., Han, B.: Formalising TCP’s Data Transfer Service Language: A Symbolic Automaton and its Properties. Fundamenta Informaticae 80(1-3), 49–74 (2007)