Process-algebraic foundations for an object-based design notation /
Jones, C. B.(Cliff B.),1944-
Manchester : University of Manchester, Dept., of Computer Science,
1993.