1
Applications of process algebra /
Book