Just look for a datasheet of some '51 chip. I here have one for AT89S8252 printed, and it helped me many times while solving problems even with quite different uCs from other producers. Of course it won't contain pinout of every '52 model out there, but if I want to know byte order of jump address when pushed to the stack, or what operations are performed during JC, it's just perfect for that.