Download Error Detecting Codes: General Theory And Their Application In Feedback Communication Systems