1. Roland Siegwart and Illah R. Nourbakhsh Introduction to Autonomous Mobile Robots, 2008 The MIT Press ISBN 0-262-19502-X.
2. Mark de Berg, Otfried Cheong, Marc van Kreveld, Mark Overmars, Computational Geometry Algorithms and Applications, 2008 Springer-Verlag ISBN 978-3-540-77973-5.
3. R. Gonzalez and R. Woods Digital Image Processing Third Edition, 2008 Pearson Pretince Hall ISBN 0-13-505267-9.
4. E.M.M. Clarke, D. Peled and O. Grumberg. Model checking. MIT Press, Boston, MA, USA, (1999).
5. M. Vardi. Branching vs. linear time: Final showdown, Lecture Notes in Computer Science, vol. 2031: 1-22, Springer-Verlag, London, UK, (2001).