- Alan Jeffrey, editor, 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000. Volume 41 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000.