John Guttag

Introduction to Computation and Programming Using Python

Larch

Introduction to computation and programming using Python

Program Development in Java

Research Directions in Computer Science

The specification and application to programming of abstract data types

Introduction to computation and programming in Python

Larch: Languages and Tools for Formal Specification

Introduction to Computation and Programming Using Python, third edition

The Electron and the Bit

Introduction To Computation And Programming Using Python

Introduction to Computation and Programming Using Python, Second Edition

The specification and application to programming of abstract data types