Partial evaluation and automatic program generation / - Jones, Neil D. (Prentice Hall, 1993)