@simsa03 citation for original paper: Naur, Peter, Programming as Theory Building, Microprocessing and Microprogramming 15: 253-261. 1985.