Automated verication of the Deutsch-Schorr-Waite tree-traversal algorithm ,
Proving pointer programs in higher-order logic. Information and Computation, pp.200-227, 2005. ,
Computational lambda-calculus and monads, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science ,
DOI : 10.1109/LICS.1989.39155
Notions of computation and monads. Information and Computation Simon Peyton Jones. Setting Trees Memory Impl/Trees Graphs Impl/Graphs Conclusion Special issue: Haskell 98 language and libraries, Journal of Functional Programming, vol.93, issue.13, pp.55-92, 1991. ,