Occam programming manual (Prentice-Hall international series in computer science, 1984)