Peter Amey, Roderick Chapman. Static verification and extreme programming. In Robert C. Leif, Ricky E. Sward, editors, Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003. pages 4-9, ACM, 2003. [doi]