Steve Sims, Daniel C. DuVarney: Experience report: the reactis validation tool. ICFP 2007: 137-140