Title: A programming logic
Subjects: Computer programs, PL/CV (Computer program language), Symbolic and mathematical Logic, Testing