H. Björklund, S. Sandberg, und S. Vorobyov. Ershov Memorial Conference, Volume 2890 von Lecture Notes in Computer Science, Seite 381-394. Springer, (2003)
J. Lindemann, O. Dahlblom, und G. Sandberg. International Conference on Computational Science (3), Volume 2331 von Lecture Notes in Computer Science, Seite 701-710. Springer, (2002)