@inproceedings {4231,
	title = {A Calculus for Concurrent Update (Abstract)},
	booktitle = {ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)},
	year = {1995},
	doi = {10.1145/224964.225007},
	author = {Gordon Cormack}
}
