Uitgaven door Mark A. Lamport