A Functional and Monadic Proof Assistant for Streams (2008)

(untitled) - James, D