Introduction to computation and programming using Python with application to understanding data von Guttag, John

Program development in Java abstraction, specification, and object-oriented design von Liskov, B.