A formal foundation for concurrent object oriented programming - Grosu, Radu (1994)