Automation of program design. - A. M. de A. L. Godinho (1982)