The Characterization Problem for Hoare Logics: Discussion Aczel, P. ; Clarke, E. M. ; Tucker, J. V. ; Shepherdson, J. C. Abstract Publication: Philosophical Transactions of the Royal Society of London Series A Pub Date: October 1984 Bibcode: 1984RSPTA.312..438A