马维达翻译的《Distributed Programming With Ice》,完整版。