Turing Plus

A systems programming language, a concurrent descendant of Turing.

"The Turing Plus Report", R. C. Holt & J. R. Cordy, CSRI, University of Toronto, Feb 1987.