Reasoning about Terminating Functional Programs (1999)

by Konrad Slind