C. Sánchez, M. Slanina, H. Sipma, und Z. Manna. Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 596-619. Springer, (2008)
Z. Slanina, und O. Krejcar. MONAMI, Volume 32 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 143-154. Springer, (2009)