F. Kamareddine, and A. Ríos. Mathematics, Logic and Computation @ ICALP, volume 85 of Electronic Notes in Theoretical Computer Science, page 86-105. Elsevier, (2003)
H. Geuvers, and F. Kamareddine. Mathematics, Logic and Computation @ ICALP, volume 85 of Electronic Notes in Theoretical Computer Science, page 146-147. Elsevier, (2003)
F. Kamareddine, T. Laan, and R. Nederpelt. Mathematics, Logic and Computation @ ICALP, volume 85 of Electronic Notes in Theoretical Computer Science, page 30-49. Elsevier, (2003)