1. Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network Flows: Theory, Algorithms and Applications. Prentice Hall, Upper Saddle River (1993)
2. Lecture Notes in Computer Science;G. Bacci,2013
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. de Bakker, J.W., de Vink, E.P.: Control Flow Semantics. MIT Press, Cambridge (1996)
5. Banach, S.: Sur les opérations dans les ensembles abstraits et leurs applications aux equations intégrales. Fundamenta Mathematicae 3, 133–181 (1922)