Abstract: The application of microprogramming in present day computers is rapidly increasing and microprogramming will undoubtedly play a major role in the next generation of computer systems.

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