LAMPORT , ALLAN H