The implementation of functional logic programming languages - Lock, Hendrik C. (Gesellschaft für Mathematik und Datenverarbeitung, 1993)