Hacker News new | past | comments | ask | show | jobs | submit login

I learned this stuff from Roland's 'Program Construction'. Great book. Once you've been through that, then suddenly Dijkstra's writing becomes really practical.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: