A formal foundation for concurrent object oriented programming - Grosu, Radu (Inst. für Informatik, 1995)
Zugl.: München, Techn. Univ., Diss., 1994