共訳者として翻訳を担当させていただいた『抽象によるソフトウェア設計 ―Alloyではじめる形式手法』がもうすぐ出版されます。Amazonでも予約できるようになったので、是非よろしく〜 http://www.amazon.co.jp/dp/4274068587/