Title: On construction of correct programs as a two-level process
Subjects: Computer programming