APA (7th ed.) Citation

Slind, K. (1999). Reasoning about terminating functional programs.

Chicago Style (17th ed.) Citation

Slind, Konrad. Reasoning About Terminating Functional Programs. 1999.

MLA (9th ed.) Citation

Slind, Konrad. Reasoning About Terminating Functional Programs. 1999.

Warning: These citations may not always be 100% accurate.