A More Expressive Monitor for Concurrent Java Programming. - Hsin-Ta Chiao; Chi-Houng Wu; Shyan-Ming Yuan (Euro-Par, 2000)