宮崎純
トランザクション処理~概念と技法~ 日経BP社 2001年