\nameindexentry{Knuth, Donald E.}{1} \nameindexentry{Lamport, Leslie}{1}