On t.p.: Computer science at Kent.
Algorithmic debugging with cyclic traces of lazy functional programs by Yong Luo. Published by Computing Laboratory, University of Kent in 2007. Publication and catalogue information, links to buy online and reader comments.