Automatic generation of adaptive programs - Spector, Lee; Stoffel, Kilian (: The MIT Press, 1996)