Proving Correctness of Programs with I/O - a paradigm comparison (2001)

by A Butterfield, G Strong
Venue:Selected Papers from the 13th International Workshop on Implementation of Functional Languages, IFL 2001, volume 2312 of LNCS