The characterization problem for Hoare logics (1985)

by E M Jr Clarke
Venue:eds), Mathematical Logic and Programming Languages