A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms - Abhishek Dhama; The Pennsylvania State University CiteSeerX Archives (http://www.informatik.uni-oldenburg.de/download/Promotionen/Dissertation_Dhama_Preprint.pdf, 2013)