Thom W. Frühwirth Slim Abdennadher I-IX, 1-144 Springer 2003 Cognitive Technologies db/series/cogtech/index.html#0008152 978-3-540-67623-2 http://www.springer.com/computer/swe/book/978-3-540-67623-2