Title: IAPX 88 book
First published: 1981