The name of this series Software as Theory Building (SaTB) was inspired by the title of a thought-provoking paper titled Programming as Theory Building. The paper was written more than three decades ago by a highly-respected Computer Scientist named Peter Naur.