U.  Köthe, ?Reliable Low-Level Image Analysis?, Habilitation thesis. Department Informatik, University of Hamburg, Hamburg, 2008.