1. Flow diagrams, turing machines and languages with only two formation rules;Bohm;Comm. ACM,1966
2. Theory of Computation;Brainerd,1974
3. Structured Programming;Dahl,1972
4. Computability and Unsolvability;Davis,1958
5. Elements of Abstract Algebra;Dean,1966