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