Augustsson [1987], "Compiling lazy functional languages, part II (0)