光阴冢
赛博空间的自留地
Blogs
Posts
Notes
Photos
About
RSS
Books
Concrete Semantics
ML for the working programmer
Programming: The derivation of algorithms(Kaldewaij)