Alex Stepanov (STL) just published a book on math foundations of programming(elementsofprogramming.com)4 points by dym 17 years ago | 1 comment