Михаэль Лампорт

Michael Lamport