North-Holland
Science of Computer Programming
Computer Security

Clarke, D., Costa, D., & Arbab, F. (2007). Connector Colouring I: Synchronization and Context Dependency. Science of Computer Programming, 66(3), 205–225.