@conference {73,
	title = {Bounded Lazy Initialization},
	booktitle = {NASA Formal Methods, 5th International Symposium, NFM 2013},
	year = {2013},
	month = {05/2013},
	publisher = {Springer},
	organization = {Springer},
	address = {Moffett Field, CA, USA},
	author = {Jaco Geldenhuys and Nazareno Aguirre and Frias, Marcelo F. and Willem Visser}
}