IAPX 88 book with an introduction to the iAPX 188 (Reston Publ., 1983)