Domain Modeling Made Functional
Scott Wlaschin
Dungeon Crawler Carl
Matt Dinniman
Dungeon Crawler Carl (1)
Effective TypeScript
Dan Vanderkam
How To Prove It
Daniel J. Velleman