Title: Interactive theorem proving and program development
Subjects: Automatic theorem proving, Computer programming, Calculus of operations, Proof theory, Formal languages, Software engineering