Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming
Semantics of transactional memory and automatic mutual exclusion