The main book is: Introduction to Reliable and Secure Distributed Programming - C. Chacin, R. Guerraoui, and L. Rodrigues. 2011
Other books that you can read are:
Please refer to the course log in Lectures section, for the slides.
Max algorithm is described in this link pp. 1-4
Logical and vector clocks: here
Original paper in which Lamport proposed the logical clock: here