SpringerLink (Online service), Ferreira, F., Löwe, B., Mayordomo, E., & Mendes Gomes, L. (2010). Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, και Luís Mendes Gomes. Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Springer Berlin Heidelberg, 2010.
