1. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
2. Barnes, J.: Programming in Ada 2005. Addison Wesley (2006)
3. Bellman, R.: Introduction to Matrix Analysis. Classics in Applied Mathematics, 2nd edn. Society for Industrial and Applied Mathematics (1997)
4. Brukardt, R.L. (ed.): Ada 2012 Annotated Reference Manual (2012)
5. Buchholz, P., Kemper, P.: Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discrete Event Dyn. Systems 12(3), 265–286 (2002)