"Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004" - читать интересную книгу автора (C. Neville Dean, Raymond T. Boute)