progsyst: add the 2 other books mentioned in the first cours
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Nov 2011 10:18:18 +0000 (11:18 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Nov 2011 10:18:18 +0000 (11:18 +0100)
commit8ee5e4719aa9cf505869354734d6a00f41eeec86
treefba85f8f470fd2d2b689d92c39f06f9324e1799b
parent0ac1c8c30d42d73bbcc8631bb7ee08ae2179e9e7
progsyst: add the 2 other books mentioned in the first cours
teaching/1112/progsyst.mdwn