F. Kamareddine, и A. Ríos. Mathematics, Logic and Computation @ ICALP, том 85 из Electronic Notes in Theoretical Computer Science, стр. 86-105. Elsevier, (2003)
H. Geuvers, и F. Kamareddine. Mathematics, Logic and Computation @ ICALP, том 85 из Electronic Notes in Theoretical Computer Science, стр. 146-147. Elsevier, (2003)
F. Kamareddine, T. Laan, и R. Nederpelt. Mathematics, Logic and Computation @ ICALP, том 85 из Electronic Notes in Theoretical Computer Science, стр. 30-49. Elsevier, (2003)