@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}
}