IEEE 1139-1988