Error Detecting Codes: General Theory And Their Application in Feedback Communication Systems (The Springer International Series in Engineering and Computer Science)