Documentation

The papers previously available here have been subsumed by the new and improved Theory, Usage and Reference manual.