A system language, fully typed, with inline assembly code, by Jan Garwick, ca 1974.
Try this search on Wikipedia, OneLook, Google