1. SBC: Grandes Desafios da Pesquisa em Computação no Brasil: 2006–2016 (2006), http://www.sbc.org.br
2. Jones, C., O’Hearn, P., Woodcock, J.: Verified software: a grand challenge. Computer 39(4), 93–95 (2006)
3. Woodcock, J.: Grand challenge in software verification. In: Brazilian Symposium on Formal Methods, SBMF 2008 (2008)
4. Craig, I.D.: Formal Models of Operating System Kernels. Springer, Heidelberg (2007)
5. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)