zz from：http://blog.csdn.net/hoping/article/details/5164194
前段时间看到一篇文章：On Understanding Data Abstraction, Revisited。其中对数据抽象这个概念进行了深入的探讨，清晰地给出了抽象数据类型和对象的定义，并阐述了其区别以及对于实际编程的影响。因此抽空翻译出来供大家学习、参考。
作者：Butler W.Lampson 1996
原文：http://research.microsoft.com/en-us/um/people/blampson/58-consensus/Acrobat.pdf
译者：phylips@bmy 2012-11-18
译文：http://duanple.blog.163.com/blog/static/709717672012102185013508/
[序：关于这篇文章，其实之前在“A brief history of Consensus, 2PC and Transaction Commit”中有过一些介绍，它最重要的意义在于使得Paxos算法为理论研究领域的科学家们所重视，并最终使得Leslie Lamport那篇“The Part-Time Parliament”从故纸堆里重见天日。