1. An EATCS Series;D. Bjørner,2005
2. Black, S.E., Boca, P.P., Bowen, J.P., Gorman, J., Hinchey, M.G.: Formal versus agile: Survival of the fittest. IEEE Computer 42(9), 37–45 (2009)
3. Boca, P.P., Bowen, J.P., Siddiqi, J. (eds.): Formal Methods: State of the Art and New Directions. Springer, London (2010)
4. Boute, R.: Formal Methods: Teaching and Practicing Computer Science at the University Level. In: Davies, J., et al. (eds.) Proceedings of the First International Workshop on Formal Methods Education and Training,Technical Report GRACE-TR-2008-03, GRACE Center, Japan (October 2008), http://www.grace-center.jp/downloads/GRACE-TR-2008-03.pdf
5. FACIT series;J.P.Z. Bowen,2001