Formalizing the Analysis of Algorithms (1979)

by L Ramshaw