Life-Line
Robert A. Heinlein
Domain Modeling Made Functional
Scott Wlaschin
Pageboy
Elliot Page
Bulletin Board
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer