For the formal reference material, see Reasoning with Derivations.
The handwritten lectures notes are available here.