Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory & Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings; 2011, p198-224, 27p
Eom, Yong hun. (2016). Self-stabilizing Java: Tool Support for Building Robust Software. UC Irvine: Electrical and Computer Engineering. Retrieved from: http://www.escholarship.org/uc/item/5k78w24c