!!Manfred Broy \\ [List of publications|http://www4.informatik.tu-muenchen.de/~broy/publ_en.shtml]