Remarks on the problem of the existence of effective hoare logics - Grabowski, Michał (1987)