1. Proofs as programs;Bates;ACM Trans. Programming Language Systems,1985
2. Algorithm design techniques;Bentley;Comm. ACM,1984
3. The maximum segment sum problem;Gries,1990
4. The Art of Computer Programming, Vol. 1: Fundamental Algorithms;Knuth,1973
5. The Art of Computer Programming, Vol. 2: Semi-numerical Algorithms;Knuth,1981