Pedro Guerreiro Another characterization of weakest preconditions. 164-177 1982 conf/programm/1982 Symposium on Programming db/conf/programm/programm1982.html#Guerreiro82