- Stephen D. Brookes, Michael W. Mislove, editors, Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001. Volume 45 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001.