1. Bang-Jensen, J., Gutin, G.: Digraphs: Theory, Algorithms and Applications. Springer (2000)
2. Berge, C.: Théorie des graphes et ses applications. Dunod (1958)
3. Carré, B.: Graphs and Networks. Clarendon Press, Oxford (1979)
4. Cousot, P.: Asynchronous iterative methods for solving a fixed point system of monotone equations in a complete lattice. R.R. 88, Laboratoire IMAG, Université scientifique et médicale de Grenoble, Grenoble, France (Sep 1977), 15 p
5. Cousot, P.: On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics. In: LOPSTR 2019. Lecture Notes in Computer Science, vol. 12042, pp. 3–18. Springer (2019)