Chutimaskul, W., Kerridge, J.M., "Parameterised Types in occam3(e)", , 1994