Great Principles of Computing - Denning (IEEE, 2003)