FOSSACS 2007, Proceedings, Lecture Notes in Computer Science