A algoritmos-iii.github.io Programming as Theory Building (1985) [pdf] 162 points solomonb 3 years ago 36 comments
