Immutability specification and its applications

Igor Pechtchanski, Vivek Sarkar. Immutability specification and its applications. Concurrency - Practice and Experience, 17(5-6):639-662, 2005. [doi]

Abstract

Abstract is missing.