Title: Control Data 6400/6500/6600/6700 computer systems reference manual (with amendments)