Antony Galton An Investigation of `Non-Intermingling' Principles in Temporal Logic. 271-294 1996 6 J. Log. Comput. 2 db/journals/logcom/logcom6.html#Galton96a