Clear Separation and Combination of Synchronization Constraint for Concurrent Object Oriented Programming. - Yoshihiro Yasutake; Yusuke Masuyama; Kentaro Oda; Takaichi Yoshida (AINA, 2003)