A programming language by Andrew K. Wright.

["Polymorphism in the Compiled Language ForceOne", G.V. Cormack et al, Proc 20th Annual Hawaii Intl Conf on System Sciences, 1987, pp.284-292].

["Design of the Programming Language ForceOne", A.K. Wright, MS Thesis, U Waterloo 1987].