I scanned some more documents: The version of the TC11 formatter manual online is not matching the binary that is available. This one is a later version which is a better match. http://storage.datormuseum.se/u/96935524/Datormusuem/DEC/DEC-11-YPTC-D_TC11… I found three IPBs. I couldn't find them directly on bisavers: http://storage.datormuseum.se/u/96935524/Datormusuem/DEC/DEC-PC04-IPB-1.pdf http://storage.datormuseum.se/u/96935524/Datormusuem/DEC/DEC-VT05-IPB-1.pdf http://storage.datormuseum.se/u/96935524/Datormusuem/DEC/DEC-RK05-IPB-1.pdf Finally I found a copy from a book that is about the DC013 chip - not the best copy unfortunately. But I haven't found anything like this online. http://storage.datormuseum.se/u/96935524/Datormusuem/DEC/DC013.pdf /Mattis