「オブジェクト指向システム分析」 デビッド.W.エンブレイ他著 ISBN4-501-52120-1

この中の「付録A OSAの形式的定義」約30ページのみ，その話題を扱っています．

えっと、リレーショナル正規系の話をしているときに、koichikさんから「オブジェクトモデリングにも正規化の概念があって、それについて方っている書籍があるよ。ベージュの表紙だったけど、書名忘れた。」というお話があったのです。ですんで、トランザクションは関係なくて、系統としてはオブジェクトモデリング系と思います。

もし、思い出されたようでしたら、教えていただけるとうれしいです。