Committed Choice Functional Programming. - Göran Båge; Gary Lindstrom (FGCS, 1988)

Combinator Evaluation of Functional Programs with Logical Variables. - Göran Båge; Gary Lindstrom (LISP Symb. Comput., 1990)