1. Ahuj, R. K., Magnanti, T. L. & Orlin, J. B. (1993). Network Flows, New Jersey: Prentice Hall.
2. Bertsekas, D. P. (1998). Network Optimization: Continuous and Discrete Models, Massachusetts: Athena Scientific.
3. Bauer, F.L. & Wossner, H. (1982). Algorithmic Language and Program Development,Berlin: Springer.
4. Wikipedia [Online] http://en.wikipedia.org/wiki/Main Page
5. Cook, S. (1971). The complexity of theorem-proving procedures, Proceeding of the 3rd Annual ACM Symposium on Theory of Computing, 151–158.