Title: A rule based approach to program development
Subjects: Automatic programming (Computer science)