The variety of process algebra (DRAFT)