You should read Programming as Theory Building

submitted by /u/jhartikainen
[link] [comments]