Tom Mens Serge Demeyer 2008 978-3-540-76439-7 Springer db/series/springer/Mens2008.html http://dx.doi.org/10.1007/978-3-540-76440-3