"Algebraic Methodology and Software Technology" - читать интересную книгу автора (Michael Johnson, Dusko Pavlovic)