Hacker News new | ask | show | jobs
by deterministic 1260 days ago
I am surprised nobody has mentioned this one. It is free and available online:

https://softwarefoundations.cis.upenn.edu/