The missing evaluation codes from order domain theory | IEEE Conference Publication | IEEE Xplore