Effective meta-programming in declarative languages (BL) - Bowers, A.F. (PQDT - UK & Ireland, 1998)