generated at
『Software Abstractions』

2011/11/4
Daniel Jackson 著


訳書
『抽象によるソフトウェア設計』

2016年に『Software Abstractions, revised edition』も出てる