Martin Leucker Thomas Noll Perdita Stevens Michael Weber 0002 Functional programming languages for verification tools: a comparison of Standard ML and Haskell. 184-194 2005 7 STTT 2 http://dx.doi.org/10.1007/s10009-004-0184-3 db/journals/sttt/sttt7.html#LeuckerNSW05