Does this interest any of you guys? It seems like the ultimate reference on the subject:
IBM PC/AT & PS/2 compatible 8042 design reference PC 8042 keyboard controller
The BIN is $59.95 + shipping, but it's been started at just $24.95, and may remain low if few people, you know, bid on it.
According to the book itself (3rd image), its original price was $199. Did those PC guys clean up back then, or what?
Then again, you may be able to find a PDF of it online somewhere. I'm just drawing it to your attention.