Algorithms and Programming - Problems and Solutions. Shen
How to Solve it By Computer. Dromey
Learning Algorithms Through Programming and Puzzle Solving. Kulikov, Pevzner
Principles of Algorithmic Problem Solving. Sannemo
Algorithmic Thinking, 2nd ed. Zingaro
Problem Solving in Data Structures & Algorithms Using C++. Hemant Jain
Competitive Programming in Python. Duerr
Problem Solving & Computer Programming. Grogono, Nelson
Problem Solving Principles - Programming with Pascal. Prather
Primes and Programming - Computers and Number Theory. Giblin
Exploring Mathematics with Your Computer. Engel
Programming Concepts - A Second Course. Jones
1.2.2 Insightful and Theoretical
Theoretical Introduction to Programming. Mills
Programming for Mathematicians. O’Shea
Reasoned Programming. Broda
Practical Formal Software Engineering - Wanting the Software You Get. Mills
What Computing is All About. Snepsheut
Elements of Programming. Stepanov, McJones
Isomorphism - Mathematics of Programming. Liu
The Craft of Programming. Reynolds
The Logic of Programming. Hehner
Informatik - Eine Grundlegende Einfuehrung, Vol I - IV. Broy
Logische und Methodische Grundlagen der Progarmm- und Systementwicklung - Datenstrukture, funkionale, sequenzielle, und objektorientierte Programmierung. Broy
Concepts, Techniques, and Models of Computer Programming. Van Roy, Haridi
Elements of Programming. Alexander Stepanov, Paul McJones
From Mathematics to Generic Programming. Alexander A. Stepanov
1.2.3 Recursion Specific
Introduction to Recursive Programming. Rubio-Sanchez