Some resources for formal analysis

An outline.

Some definitions.

An essay.

The book.