Dietmar Rösner Mario Amelung Michael Piotrowski LlsChecker, ein CAA-System für die Lehre im Bereich Programmiersprachen. 307-318 2005 conf/delfi/2005 DeLFI db/conf/delfi/delfi2005.html#RosnerAP05