Wydania przez Mark A. Lamport