@article{SOSP-J-1973-Habermann72,
	author        = "A. Nico Habermann",
	doi           = "10.1145/361268.361277",
	journal       = "{Communications of the ACM}",
	number        = 3,
	pages         = "171--176",
	publisher     = "{ACM}",
	title         = "{Synchronization of Communicating Processes}",
	volume        = 15,
	year          = 1972,
}