Principles of lazy and incremental program generation / J. Heering, P. Klint, J. Rekers
Principles of lazy and incremental program generation