Programs, Proofs, Processes by Fernando Ferreira, Elvira Mayordomo, Benedikt Löwe, Luís Mendes Gomes | Lex | Lex