Editing Hoare logic (section)

== Bibliography ==
*{{cite journal
 |last1=Apt
 |first1=Krzysztof R.
 |last2=Olderog
 |first2=Ernst-Rüdiger
 |title=Fifty years of Hoare's logic
 |journal=Formal Aspects of Computing
 |date=December 2019
 |volume=31
 |issue=6
 |page=759
 |doi=10.1007/s00165-019-00501-3
 |s2cid=102351597
 |url=https://ir.cwi.nl/pub/29146
}}

*{{Cite journal
 |last=Floyd 
 |first=R. W.  
 |authorlink=Robert W. Floyd 
 |title=Assigning meanings to programs
 |url=https://www.cs.tau.ac.il/~nachumd/term/FloydMeaning.pdf
 |journal=[[Proceedings of the American Mathematical Society]]
 |series=Symposia on Applied Mathematics
 |volume=19 
 |pages=19–31
 |year= 1967
}}

*{{Cite journal
 |last=Hoare 
 |first=C. A. R. 
 |author-link=Tony Hoare 
 |title=An Axiomatic Basis for Computer Programming
 |doi=10.1145/363235.363259 
 |journal=[[Communications of the ACM]] 
 |volume=12 
 |issue=10 
 |pages=576-583
 |date=October 1969 
 |s2cid=207726175 
 |doi-access=free 
}}

*{{cite book
 |last1=Huth
 |first1=Michael
 |last2=Ryan
 |first2=Mark
 |date=2004-08-26
 |title=Logic in Computer Science: modelling and reasoning about systems
 |publisher=[[Cambridge University Press]]
 |edition=second
 |pages= XIV, 427
 |isbn=978-0521543101
}}

*{{cite book
 |last=Reynolds
 |first=John C.
 |year=2009
 |orig-year=1998
 |author-link=John C. Reynolds
 |title=Theories of Programming Languages
 |publisher=[[Cambridge University Press]]
 |isbn=9780521106979
}}

*{{cite book
 |last=Tennent
 |first=Robert D.
 |year=2002
 |title=Specifying Software
 |url=https://research.cs.queensu.ca/home/specsoft/
 |publisher=[[Cambridge University Press]]
 |pages=XII, 289
 |isbn=9780521004015
 |quote=A textbook that includes an introduction to Hoare logic
}}