P. Klügl, M. Atzmüller, и F. Puppe. LWA, том 448 из Technical Report, стр. 73-77. Department of Computer Science, University of Würzburg, Germany, (2008)
M. Atzmüller, P. Klügl, и F. Puppe. LWA, том 448 из Technical Report, стр. 1-7. Department of Computer Science, University of Würzburg, Germany, (2008)