Sebastian Golaszewski: Consistency in Distributed Systems; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, October 2014, URL: https://files.ifi.uzh.ch/CSG/staff/bocek/extern/theses/MA-Sebastian-Golaszewski.pdf.