Build program technique: a practical approach for the development of automatic software generation systems - Rice, John G (John Wiley, 1981)