"Functional programming languages for verification tools.A comparison of Standard ML and Haskell" - читать интересную книгу автора (Leucker M.)