Logics for concurrency structure versus automata / - Moller, Faron,; Birtwistle, G. M. (Lecture notes in computer science ;)