Reliable Distributed System - Kenneth P. Birman (Springer USA)
Keywords: Comnputer Program Language