ForceOne
Andrew K. Wright.
"Polymorphism in the Compiled Language ForceOne", G. V. Cormack et al, Proceedings of the 20th Annual Hawaii International Conference on System Sciences, 1987, pp.284-292.
"Design of the Programming Language ForceOne", A. K. Wright, MS Thesis, University of Waterloo, Canada, 1987.