Title: Studies in automatic programming logic
Subjects: Automatic programming (Computer science), Computer programs, Computer programming