@article{WRLA-2004-JohnsenOA05,
	author        = "Einar Broch Johnsen and Olaf Owe and Eyvind W. Axelsen",
	doi           = "10.1016/j.entcs.2004.06.012",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "375--392",
	title         = "{A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls}",
	volume        = 117,
	year          = 2005,
}