Search: Massmann, S, 2008, informatik.uni-leipzig.de