author = {Manuel Kauers}, title = {{ZET User Manual}}, language = {english}, number = {2004-05}, year = {2004}, institution = {SFB F13}, length = {31}