Apt, K.R., Olderog, E.-R., 2019. Fifty years of Hoare's logic 31.. https://doi.org/10.1007/s00165-019-00501-3