Leslie Lamport 个人主页

Leslie Lamport 个人主页（图灵奖得主）。