Graham Collins Supporting Reasoning about Functional Programs: An Operational Approach. 3 1995 conf/fp/1995 Functional Programming db/conf/fp/fp1995.html#Collins95