A 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].