3:反覆運算抽象:能夠反覆運算遍歷在集合中的元素,而不必顯示如何獲得元素的細節; 4:類型層次:能夠從多個單獨的資料類型中抽象成幾組相關的類型。 Barbara Liskov, JohnGuttag著,裘健译.程序开发原理:抽象、规格与面向对象设计.北京:电子工业出版社,2006年10月:第3-5頁。
Workshop on Larch, Springer-Verlag, Workshops in Computing Series, 1993. J. V. Guttag and J. J. Horning (eds.) with S. J. Garland, K. D. Jones, A. Modet, and