PDP-7 instruction set and hardware documentation