1. Barnes, J.: High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, Reading (2003)
2. Basin, D., Walsh, T.: A calculus for and termination of rippling. Journal of Automated Reasoning 16(1-2) (1996)
3. Bergeretti, J., Carré, B.A.: Information-flow and data-flow analysis of while-programs. ACM Transactions on Programming Languages and Systems (TOPLAS) 7(1) (1985)
4. Bundy, A.: The use of explicit plans to guide inductive proofs. In: CADE-9, Springer, Heidelberg (1988)
5. Bundy, A., Smaill, A., Hesketh, J.: Turning eureka steps into calculations in automatic program synthesis. In: Proceedings of UK IT (1990)