Proceedings search: Matthias Müller, Paper