Analyzing synchronization problems by using event histories as languages. - Robert D. Dixon; David Hemmendinger (ACM Conference on Computer Science, 1986)