Henk Doornbos, Roland Carl Backhouse. Algebra of Program Termination. In Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Volume 2297 of Lecture Notes in Computer Science, pages 203-236, Springer, 2000. [doi]
Abstract is missing.