"Programming as Theory Building." Microprocessing and Microprogramming, 15 (5), 253-261. BNF（Backus-Naur Form）のNで知られるNaurが、プログラミングの本質はコード生成ではなく「理論構築」であると論じた論文。 ここでの「理論」はメンタルモデルでありドメインモデルに相当する。