Proving make correct -- I/O proofs in Haskell and Clean (2002)

by M Dowse, G Strong, A Butterfield
Venue:Proceedings of the 14th International Workshop, IFL2002, volume LNCS2670