Various documents related to the Whiley programming language and its implementation (see http://whiley.org for more on Whiley). This includes:
1) Getting Started with Whiley. A short introduction to the Whiley language, aimed at getting people up and running quickly.
2) The Whiley Language Guide. A general introduction to the Whiley language, which is not meant as a comprehensive reference (the language specification does this).
3) Verifying Programs with Whiley. A short introduction to the verification with Whiley, aimed at getting people up and running with verification quickly.
4) The Whiley Language Specification. A concise description of the language, including a grammar, semantics, typing rules and more.
Currently, these documents are all in early draft form.