Title: Tools and notions for program construction
Subjects: Computer programming, Computer programs, design