Richard C. Murphy Jonathan W. Berry William McLendon Bruce Hendrickson Douglas Gregor Andrew Lumsdaine DFS: A Simple to Write Yet Difficult to Execute Benchmark. 175-177 2006 conf/iiswc/2006 IISWC http://dx.doi.org/10.1109/IISWC.2006.302741 db/conf/iiswc/iiswc2006.html#MurphyBMHGL06