1. Verification of Sequential and Concurrent Programs;Apt,1991
2. Approximation algorithms for bin packing: a survey;Coffmann,1996
3. Introduction to Algorithms;Cormen,1990
4. A Discipline of Programming;Dijkstra,1976
5. The Science of Computer Programming;Gries,1981