Programs, Proofs, Processes

MLA

Ferreira, Fernando, et al. Programs, Proofs, Processes. Springer Berlin Heidelberg, 2010.

APA

Ferreira, F., Kanade, T., Löwe, B., Mayordomo, E., Mendes Gomes, L., & Gomes, L. Mendes. (2010). Programs, Proofs, Processes. Springer Berlin Heidelberg.

Chicago

Ferreira, Fernando, Takeo Kanade, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes, and Luís Mendes Gomes. Programs, Proofs, Processes. : Springer Berlin Heidelberg, 2010.