John Staples Peter J. Robinson Daniel Hazel A Functional Logic for Higher Level Reasoning About Computation. 1-38 1994 6 Formal Asp. Comput. 1 db/journals/fac/fac6.html#StaplesRH94