\indexentry {Lamport@{Lamport}, Leslie}{xxxvi} \indexentry {Downes@{Downes}, Michael}{xxxvi} \indexentry {Gordon@{Gordon}, Peter}{xxxvi} \indexentry {Ryan@{Ryan}, Elizabeth}{xxxvi} \indexentry {Beeton@{Beeton}, Barbara}{xxxvi} \indexentry {Rhead@{Rhead}, David}{xxxvi} \indexentry {Vulis@{Vulis}, Michael}{xxxvii} \indexentry {Rowley@{Rowley}, Chris}{xxxvii} \indexentry {Wong@{Wong}, Wai}{xxxvii} \indexentry {Downes@{Downes}, Michael}{xxxvii} \indexentry {Wetmore@{Wetmore}, Alan}{xxxvii} \indexentry {Knuth@{Knuth}, Donald}{1} \indexentry {Knuth@{Knuth}, Donald}{2} \indexentry {Lamport@{Lamport}, Leslie}{2}