Tower Loan bloomington. 嘉吉の土一揆 いつ.

Paxos algorithm paper. クレイスミス ma-1.