@CONFERENCE\{IMM1989-01601, author = "H. Riis Nielson and F. Nielson", title = "The Mixed Lambda-Calculus and Combinatory Logic (an overview)", year = "1989", pages = "39-45", booktitle = "Computing and Information 1989", volume = "", series = "", editor = "", publisher = "North-Holland", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1601-full.html" }