/Literature/
drwxr-xr-x [up]
-rw-r--r-- 2014-08-15 13:59 +0100 10117220 nipkow-lexing.pdf
-rw-r--r-- 2014-08-15 13:59 +0100 190075 nipkow-lexing.ps
-rw-r--r-- 2014-08-15 13:59 +0100 266136 sulzmann14.pdf