Reasoning about Terminating Functional Programs (1999)

by K Slind