Title: Axiomatising the Logic of Computer Programming
            
                Lecture Notes in Computer Science
Subjects: Computer programming