Lazy Assertions. - Olaf Chitil; Dan McNeill; Colin Runciman (IFL, 2003)