Michel Charpentier and K. Mani Chandy. In R. Backhouse and J. Nuno Oliveira, editors, International Conference on Mathematics of Program Construction (MPC '00), volume 1837 of Lecture Notes in Computer Science, pp. 167-186, Springer-Verlag, July 2000.
