Merlin Hughes P. David Stotts Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. 53-61 1996 ISSTA http://doi.acm.org/10.1145/229000.226301 db/conf/issta/issta96.html#HughesS96