\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} 
