Terminology and techniques for base and derived data types.
Book of Techniques
The building blocks of formulae.