1. GNU Linear Programming Kit, http://www.gnu.org/software/glpk
2. Lecture Notes in Computer Science;H. Bjorklund,2004
3. Cochet-Terrasson, J., Gaubert, S., Gunawardena, J.: A Constructive Fixed Point Theorem for Min-Max Functions. Dynamics and Stability of Systems 14(4), 407–433 (1999)
4. Lecture Notes in Computer Science;A. Costan,2005
5. Cousot, P., Cousot, R.: Static Determination of Dynamic Properties of Recursive Procedures. In: Neuhold, E.J. (ed.) IFIP Conf. on Formal Description of Programming Concepts, pp. 237–277. North-Holland, Amsterdam (1977)