UW Cecil Group University of Washington language/OS research: Cecil, Vortex, MultiJava, EML, Whirlwind (done in Cecil), Cecil front-ends for Vortex, and stand alone Cecil interpreter. Focus: practical programming systems that make big programs and systems easier to write, extend. Descriptions, papers. http://www.cs.washington.edu/research/projects/cecil/www/cecil-home.html

Cecil Language Specification and rationale: pure object-oriented, prototype-based, statically-typed, to support fast writing of reliable, extensible systems. Description, documents in HTML, PS formats. http://www.cs.washington.edu/research/projects/cecil/www/pubs/cecil-spec.html

UW Cecil/Vortex Project Papers Cecil/Vortex design and implementation research papers. http://www.cs.washington.edu/research/projects/cecil/pubs/

Preliminary Design of ADL/C++ - A Specification language for C++ article by Sreenivasa Rao Viswanadha and Sriram Sankar. http://www.cs.albany.edu/~sreeni/coots.html