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