Formal outline and references