A functional logic for higher level reasoning about computation (1994)

by John Staples, Peter J Robinson, Daniel Hazel
Venue:Formal Aspects of Computing