モダンなソフトウェア設計の書籍 - kawasima

型駆動設計から始まるフォーマルなアプローチもカバーしているが、フォーマルな方法の簡単な紹介も含まれているもの。

[nabinno]

Scott Wlaschin、F# for fun and profitの人

[masa8aurum]

リンク集的な。

[matarillo]

いくつかは訳書あり。https://www.shoeisha.co.jp/book/detail/9784798124582 や https://gihyo.jp/book/2016/978-4-7741-8361-9 など。