A formal model for total quality management