K. Mani Chandy and Michel Charpentier. In J. Davies, B. Roscoe and J. Woodcock, editors, Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, Cornerstones of Computing, pp. 81-90. Palgrave, 2000.
