[nicklaf]

Notably, this material is based on an earlier paper on the design of algorithms by induction, also by the author: http://akira.ruc.dk/~keld/teaching/CSS_e10/Manber88.pdf