Leslie Lamport

 

 http://lamport.azurewebsites.net/pubs/pubs.html

paper

posted @ 2017-10-15 19:58  papering  阅读(166)  评论(0)  编辑  收藏  举报