AB10.5
AB10.5 P. Naur: Remark concerning the definition of a program, page 11
Page 11