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.