1. The Art of Computer Programming;Knuth,1997
2. Program Construction. Calculating Implementations From Specifications;Backhouse,2003
3. A Logical Approach to Discrete Math;Gries,1993
4. Guarded commands, nondeterminacy and formal derivation of programs;Dijkstra;Communications of the ACM,1975
5. Numbers, Sequences and Series;Hirst,1995