Edgar Knapp An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. 203-223 1990 12 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/78942.78945 db/journals/toplas/toplas12.html#Knapp90