Ferruccio Damiani Elena Giachino Paola Giannini Sophia Drossopoulou A type safe state abstraction for coordination in Java -like languages. 479-536 2008 45 Acta Inf. 7-8 http://dx.doi.org/10.1007/s00236-008-0079-y db/journals/acta/acta45.html#DamianiGGD08