Lock, H.C.R.H.C.R.Lock2022-03-072022-03-071989https://publica.fraunhofer.de/handle/publica/285849en004005006An amalgamation of functional and logic programming languagesreport