Joana Hois    (18MQ)

see: http://www.informatik.uni-bremen.de/~joana/    (18MR)