Computer science and engineering (Heidelberg : Springer, 2012)