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-Verlag Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)Ferreira, Fernando, 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-Verlag Berlin Heidelberg, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Ferreira, Fernando, et al. Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings. Springer-Verlag Berlin Heidelberg, 2010.