C. Bellettini, M. Camilli, L. Capra, и M. Monga. Proceedings of 7th International Workshop on
Reachability Problems (RP 2013), том 8169 из Lecture Notes in Computer Science, стр. 83--95. Heidelberg, Springer, (сентября 2013)
C. Bellettini, M. Camilli, L. Capra, и M. Monga. Proceedings of the 14th International Symposium on
Symbolic and Numeric Algorithms for Scientific
Computing (SYNASC 2012), стр. 295--302. Timisoara, Romania, IEEE CS, IEEE Computer Society, (сентября 2012)