Richard N. Taylor: Complexity of Analyzing the Synchronization Structure of Concurrent Programs. Acta Informatica 19: 57-84 (1983)