 Imperative programming and introduction to proof systems paper of the University of Oxford

ID: imperative-programming-and-introduction-to-proof-systems-paper-of-the-university-of-oxford