Computer-aided verification of coordinating processes: the automata-theoretic approach (1994)

by Robert P Kurshan