A. Nauerz, F. Bakalov, B. König-Ries, und M. Welsch. LWA, Volume 448 von Technical Report, Seite 44-50. Department of Computer Science, University of Würzburg, Germany, (2008)
A. Nauerz, S. Schindler, und F. Bakalov. LWA, Volume 448 von Technical Report, Seite 51-54. Department of Computer Science, University of Würzburg, Germany, (2008)