Title: Design of abstract programs in an interactive environment
Subjects: Computer programming, System design