Extending Java to support shared resource protection and deadlock detection in threads programming. - Anita J. Van Engen; Michael K. Bradshaw; Nathan Oostendorp (XRDS, 1997)