The Verification System Tatzelwurm. - Peter Deussen; A. Hansmann; Thomas Käufl; Stefan Klingenbeck (KORSO Book, 1995)