A programming model for concurrent object-oriented programs. Jacobs, B., Piessens, F., Smans, J., Leino, K., & Schulte, W. ACM Transactions on Programming Languages and Systems, 31(1):1–48, ACM, December, 2008.
bibtex   
@article{Jacobs:2008:PMC:1452044.1452045,
	Author = {B. Jacobs and F. Piessens and J. Smans and K.R.M. Leino and W. Schulte},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = {December},
	Number = {1},
	Pages = {1--48},
	Publisher = {ACM},
	Title = {A programming model for concurrent object-oriented programs},
	Volume = {31},
	Year = {2008}}

Downloads: 0