Giuseppe Milicia, Vladimiro Sassone: Jeeg: a programming language for concurrent objects synchronization. Java Grande 2002: 212-221