Type checked language with separate compilation using a

program library. Mentioned in "Rationale for the Design of

Ada", J. Ichbiah, Cambridge U Press, 1986, p.192.