English Unordered Functional programming languages for verification tools.A comparison of Standard ML and Haskell Leucker M. View book
