Computer-aided verification of coordinating processes : the automata-theoretic approach /
Kurshan, R. P.,1943-author.
First published: Princeton University Press, 1994.