Transforming Java programs for concurrency using Double-Checked Locking pattern | IEEE Conference Publication | IEEE Xplore