Definitions and useful references