"Mathematics of program construction: 10 conf., MPC 2010" - читать интересную книгу автора (Claude Bolduc, Jules Desharnais, Bechir Ktari)