How to Design Programs, second edition: An Introduction to Programming and Computing (The MIT Press)