\bib{2003/dowse-ifl}
\yr 2003
\by Malcolm Dowse
\by Glenn Strong
\by Andrew Butterfield
\paper Proving make correct: I/O proofs in Haskell and Clean
\pages 68--83
\inbook \cite{2002/pena-book}
\also see extended version \cite{2003/dowse-tr}
\endref
