Manuals, Procedures, and Checklists: Background and Definitions