@inproceedings{TRI-Ada-1995-Sanden95b,
	author        = "Bo Sanden",
	booktitle     = "{Tutorial Proceedings on Ada’s Role in Global Markets: Solutions for a Changing Complex World}",
	doi           = "10.1145/216591.216597",
	pages         = "70--103",
	publisher     = "{ACM}",
	title         = "{Resource Sharing Deadlock Prevention}",
	year          = 1995,
}