Interview with Leslie Lamport (Turing Award, 2013)

— I , , and this 23-minute for . —

An interview with Leslie Lamport at the 5th Heidelberg Laureate Forum, September 2017.