Title: The formal semantics of Turing programs
Subjects: Electronic data processing, Turing (Computer program language)