Peter Naur Programming Languages, Natural Languages, and Mathematics. 137-148 1975 POPL db/conf/popl/popl75.html#Naur75