"programming as theory building", peter naur, 1985
@mntmn am i crazy or is this mostly introductory words and the reasoning is not part of the post?