Formal Quality Control Programs