1. Abrial J.-R.: The B-Book, Assigning Programs to Meaning. Cambridge University Press, Cambridge (1996)
2. Barnett, M., DeLine, R., Jacobs, B., Evan Chang, B.-Y., Leino, K.R.M.: Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In: de Boer F.S., Bonsangue, M.M., Graf S., de Roever W.-P. (eds.) Formal Methods for Components and Objects: 4th International Symposium. Lecture Notes in Computer Science, vol. 4111, pp. 364–387 (2005)
3. Barnett M., Leino K.R.M., Schulte W.: The Spec# Programming System: An Overview, pp. 49–69. Springer, Berlin (2004)
4. Barrett, C., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) Proceedings of the 19th International Conference on Computer Aided Verification (CAV’07), Berlin, Germany. Lecture Notes in Computer Science. Springer, Berlin (2007)
5. Baudin, P., Filliâtre, J.-C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language, version 1.4 (2009). http://frama-c.cea.fr/acsl.html