An extension of occam produced in 1987. Occam 2 adds floating-point, functions and a type system.
["occam 2 Reference Manual", INMOS, P-H 1988, ISBN 0-13-629312-3].
Computing Dictionary