Weakest preconditions for progress Johan J. LukkienJan L. A. van de Snepscheut OriginalPaper Pages: 195 - 236