@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} }