@incollection{LaubeDeller2007, author = {S. Laube and J{\"u}rgen Deller}, title = {Explorix}, isbn = {3-525-46239-5}, year = {2007}, }