"La Semantica Formale Dei Linguaggi Di Programmazione " - читать интересную книгу автора (Glynn Winskel)