1. Lions, J.L., et al.: ARIANE 5. Flight 501 Failure. Report by the Inquiry Board (1996), http://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
2. Sommerville, I.: Software Engineering. Addison-Wesley (2004)
3. Jurafsky, D., Martin, J.H.: Speech and Language Processing: An Introduction to Natural Language Processing, Speech Recognition, and Computational Linguistics, 2nd edn. Prentice-Hall (2008)
4. Lecture Notes in Computer Science;L.A. Zadeh,1997
5. Hall, A.: Realizing the Benefits of Formal Methods. Journal of Universal Computer Science 13, 669–675 (2007)