On the existence of proper codes for error detection | IEEE Conference Publication | IEEE Xplore