Partial evaluation and automatic program generation - Jones, Neil D., 1941- (Prentice Hall International Series in Computer Sience, 1993)