B. Crawford, C. de la Barra, and P. Letelier. IFIP CAI, volume 277 of IFIP Advances in Information and Communication Technology, page 205-216. Springer, (2008)
A. Boronat, J. Carsí, I. Ramos, and P. Letelier. EVOL (Selected Papers), volume 166 of Electronic Notes in Theoretical Computer Science, page 5-26. Elsevier, (2006)