Functional programming languages for verification tools: a comparison of Standard ML and Haskell
LEUCKER, Martin ; NOLL, Thomas ; STEVENS, Perdita ; WEBER, Michael
International journal on software tools for technology transfer, 2005-04, Vol.7 (2), p.184-194 [Periódico revisado por pares]Berlin: Springer
Texto completo disponível