Reasoning about terminating functional programs - Slind, Konrad 1958- (1999)
München, Techn. Univ., Diss., 1999