IEEE Std. 80