当年，我非常宝贝我那本 Liskov 和 Guttag 写的《Program Development in Java》。我很喜欢书中关于以维护数据结构不变式（invariants）为核心的规范编程风格的探讨。这也是我见过的唯一一本讨论对状态建模的书……
Back in the day, I treasured my copy of Liskov and Guttag's "Program Development in Java". I enjoyed its discussion of a disciplined programming style centered around maintaining invariants in your data structures. It was also the only book I've seen which talked about modeling the state…
《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》——Liskov & Guttag。讲的是 OO 编程，只是碰巧用了 Java 作为语言。
Program Development in Java: Abstraction, Specification, and Object-Oriented Design - Liskov & Guttag Teaches OO programming, just happens to use Java as the language.
不对。你可能会发现 Barbara Liskov 和 John Guttag 写的《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》这本书对理解 OOD/OOP 非常有用。
No. You might find the book Program Development in Java: Abstraction, Specification, and Object-Oriented Design by Barbara Liskov and John Guttag very useful for understanding OOD/OOP.
……Unix 平台上的 Motif。我之前（在另一条评论里）向你推荐过 Bertrand Meyer 的书 OOSC2，作为理解 OOD/OOP 的必读书目。另一本值得研读的好书是 Barbara Liskov 和 John Guttag 的《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》。
…Motif on Unix platforms. I had pointed you to Bertrand Meyer's book OOSC2 (in my other comment) as the book to read to understand OOD/OOP. Another great book to study is Barbara Liskov and John Guttag's Program Development in Java: Abstraction, Specification, and Object-Oriented Design.
……从他的书《面向对象软件构造》（Object Oriented Software Construction）第二版里就能看出——https://archive.eiffel.com/doc/manuals/technology/oosc/inher... 最后，看看 Barbara Liskov 自己（与 John Guttag 合著）的书《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》，了解一下 OOP 的“正确姿势”。注意，Java 只是被用作示例语言，而这些原则是与语言无关的。
…Well from his book Object Oriented Software Construction, second edition book - https://archive.eiffel.com/doc/manuals/technology/oosc/inher... Finally see Barbara Liskov's own book (with John Guttag) Program Development in Java: Abstraction, Specification, and Object-Oriented Design for a "correct approach" to OOP. Note that Java is just used as a example language while the principles are language independent.
当年，我非常宝贝我那本 Liskov 和 Guttag 写的《Program Development in Java》。我很喜欢书中关于以维护数据结构不变式（invariants）为核心的规范编程风格的探讨。这也是我见过的唯一一本讨论对状态建模的书……
Back in the day, I treasured my copy of Liskov and Guttag's "Program Development in Java". I enjoyed its discussion of a disciplined programming style centered around maintaining invariants in your data structures. It was also the only book I've seen which talked about modeling the state…
《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》——Liskov & Guttag。讲的是 OO 编程，只是碰巧用了 Java 作为语言。
Program Development in Java: Abstraction, Specification, and Object-Oriented Design - Liskov & Guttag Teaches OO programming, just happens to use Java as the language.
不对。你可能会发现 Barbara Liskov 和 John Guttag 写的《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》这本书对理解 OOD/OOP 非常有用。
No. You might find the book Program Development in Java: Abstraction, Specification, and Object-Oriented Design by Barbara Liskov and John Guttag very useful for understanding OOD/OOP.
……Unix 平台上的 Motif。我之前（在另一条评论里）向你推荐过 Bertrand Meyer 的书 OOSC2，作为理解 OOD/OOP 的必读书目。另一本值得研读的好书是 Barbara Liskov 和 John Guttag 的《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》。
…Motif on Unix platforms. I had pointed you to Bertrand Meyer's book OOSC2 (in my other comment) as the book to read to understand OOD/OOP. Another great book to study is Barbara Liskov and John Guttag's Program Development in Java: Abstraction, Specification, and Object-Oriented Design.
你可能会觉得 Barbara Liskov 与 John Guttag 合著的《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》挺有意思的。
You might find Program Development in Java: Abstraction, Specification, and Object-Oriented Design by Barbara Liskov with John Guttag interesting.
……从他的书《面向对象软件构造》（Object Oriented Software Construction）第二版里就能看出——https://archive.eiffel.com/doc/manuals/technology/oosc/inher... 最后，看看 Barbara Liskov 自己（与 John Guttag 合著）的书《Program Development in Java: Abstraction, Specification, and Object-Oriented Design》，了解一下 OOP 的“正确姿势”。注意，Java 只是被用作示例语言，而这些原则是与语言无关的。
…Well from his book Object Oriented Software Construction, second edition book - https://archive.eiffel.com/doc/manuals/technology/oosc/inher... Finally see Barbara Liskov's own book (with John Guttag) Program Development in Java: Abstraction, Specification, and Object-Oriented Design for a "correct approach" to OOP. Note that Java is just used as a example language while the principles are language independent.