Ferreira, F., Lw̲e, B., Mayordomo, E., & Mendes Gomes, L. (2010). Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 <U+0013> July 4, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

Ferreira, Fernando., Benedikt Lw̲e, Elvira Mayordomo, and Lus̕ Mendes Gomes. Programs, Proofs, Processes: 6th Conference On Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 <U+0013> July 4, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Ferreira, Fernando., Benedikt Lw̲e, Elvira Mayordomo, and Lus̕ Mendes Gomes. Programs, Proofs, Processes: 6th Conference On Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 <U+0013> July 4, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.