A. Nauerz, F. Bakalov, B. König-Ries, и M. Welsch. LWA, том 448 из Technical Report, стр. 44-50. Department of Computer Science, University of Würzburg, Germany, (2008)
A. Nauerz, S. Schindler, и F. Bakalov. LWA, том 448 из Technical Report, стр. 51-54. Department of Computer Science, University of Würzburg, Germany, (2008)