Source : Free On-Line Dictionary of Computing

occam 2
     
         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].
     
        (1994-11-18)