C. Bellettini, M. Camilli, L. Capra, und M. Monga. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on, Seite 295-302. IEEE Computer Society, (September 2012)
C. Bellettini, M. Camilli, L. Capra, und M. Monga. Reachability Problems, Volume 8169 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)