P pages.cs.wisc.edu Programming as Theory Building (1985) [pdf] 211 points bsoles 1 year ago 44 comments
