C. A. R. Hoare. Assertions: A Personal Perspective. IEEE Annals of the History of Computing, 25(2):14-25, 2003. [doi]
@article{Hoare03:4, title = {Assertions: A Personal Perspective}, author = {C. A. R. Hoare}, year = {2003}, url = {http://csdl.computer.org/comp/mags/an/2003/02/a2014abs.htm}, tags = {C++}, researchr = {https://researchr.org/publication/Hoare03%3A4}, cites = {0}, citedby = {0}, journal = {IEEE Annals of the History of Computing}, volume = {25}, number = {2}, pages = {14-25}, }