"Foundations of software science and computational structures 12th international conference; proceedings FOSSACS, Joint European Conferences on Theory and Practice of Software 12. 2009." - читать интересную книгу автора (Luca de Alfaro)