The characterization problem for hoare logic - Clarke, E. M. (1984)