Model Checking From Tools to Theory Rajeev Alur University of Pennsylvania 25MC, FLOC, August 2006.
Automata Theory CS 3313 Chapter 4 An Introduction to Finite Automata.
Peer-to-peer and agent-based computing Agent communication (Contd)