Models for Concurrency - Uri Abraham (Taylor and Francis, 1999)