Context approximation for functional languages - John William Farrell (1992)