Faron Moller Graham M. Birtwistle Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings) Banff Higher Order Workshop Lecture Notes in Computer Science 1043 Springer 1996 3-540-60915-6 db/conf/banff/banff1995.html