H. Kuchen et al, "Graph-Based Implementation of a Functional Logic Language", pp271-290.

(1990) Proc ESOP 90, LNCS 432, Springer 1990  

Languages mentioned BABEL {1990}