1. Bowen, J.P., Hinchey, M.G.: Formal Methods. In: Tucker, A.B., Jr. (eds.), Computer Science Handbook, 2nd edn, Section XI, Software Engineering, Chapter 106, pp. 106-1–106-25, Chapman & Hall / CRC Press, ACM (2004)
2. Lecture Notes in Computer Science;JA Davis,2013
3. Lecture Notes in Computer Science;EA Emerson,2008
4. Lecture Notes in Computer Science;EM Clarke,2012
5. Alexander, P., Kamath, R., Barton, D.: System specification in Rosetta. ECBS 2000, 299–307 (2000)