Applied semantics - Barthe, Gilles, 1967-; Dybjer, Peter; Pinto, Luís; Saraiva, Joao (Lecture notes in computer science, 2002)