This is the source of the IX papers, Bell Labs Computing Science Technical Report #163. The contents are pretty well described in file "title".