@inproceedings{2003-dowse-ifl
,note={Note: see extended version \cite{2003-dowse-tr}}
,author={Malcolm Dowse and Glenn Strong and Andrew Butterfield}
,crossref={2002-pena-book}
,pages={68--83}
,title={{Proving make correct: I/O proofs in Haskell and Clean}}
,year={2003}
}