Authors: Johan J.Lukkien Jan L.A.van de Snepscheut

Citation: Johan J.lukkien et Jan L.a.van De Snepscheut, Weakest preconditions for progress, Formal aspects of computing The international journal of formal methods , 4(2), 1992, pp. 195-236