"Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)" - читать интересную книгу автора (Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva)