1. Lecture Notes in Computer Science;C Barrett,2011
2. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press Inc., Cambridge (1979)
3. Boyer, R.S., Yu, Y.: Automated proofs of object code for a widely used microprocessor. J. ACM 43(1), 166–192 (1996)
4. Carré, B.A., O’Neill, I.M., Clutterbuck, D.L., Debney, C.W.: SPADE-the southampton program analysis and development environment. In: Software Engineering Environments. Peter Peregrinus, Ltd., Stevenage (1986)
5. Clutterbuck, D.L., Carré, B.A.: The verification of low-level code. Softw. Eng. J. 3(3), 97–111 (1988). https://doi.org/10.1049/sej.1988.0012