Programs, Proofs, Processes - Ferreira, Fernando; Kanade, Takeo; Löwe, Benedikt; Mayordomo, Elvira; Mendes Gomes, Luís; Gomes, Luís Mendes (Springer Berlin Heidelberg, 2010)