A friend pointed out this link:

How to Design Programs: - An Introduction to Programming and Computing