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]. (1994-10-24)