John C. Cherniavsky
John C. Cherniavsky and Samuel N. Kamin.
A complete and consistent Hoare axiomatics for a simple programming language.
Journal of the ACM
, 26(1):119-128, January 1979.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database