Introduction To Process Algebra by Wan Fokkink