@book{2003-dowse-tr ,note={URL: {\tt https://www.cs.tcd.ie/publications/tech-reports/reports.03/TCD-CS-2003-03.pdf}. Note: Technical Report TCD--CS--2003--03 and see shortened version \cite{2003-dowse-ifl}} ,title={{Proving ``make'' correct: I/O proofs in two functional languages}} ,booktitle={{Proving ``make'' correct: I/O proofs in two functional languages}} ,author={Malcolm Dowse and Glenn Strong and Andrew Butterfield} ,publisher={Computer Science Department, Trinity College Dublin} ,year={2003} }