A concurrent object coordination language: semantics and applications. - Gordon Wayne O'Connell (2005)