Automated software engineering (Springer New York, 1994)