language combining multi-methods with a classless object model, object-based encapsulation
and optional static type checking. It distinguishes between subtyping
and code inheritance. Includes both explicit and implicit parameterisation of objects, types, and methods.
["The Cecil Language: Specification and Rationale", C. Chambers, TR 93-03-05, U Wash (Mar 1993)].