How to Use Guarded Functional Programming.

Roland Dietrich How to Use Guarded Functional Programming. 35-50 1991 conf/phoenix/1991 Declarative Programming db/conf/phoenix/phoenix1991.html#Dietrich91