PCjs Machines
Home of the original IBM PC emulator for browsers.
IBM PC Keyboard Devices
8042 Keyboard Controller Internals
The following documents were obtained from halicery.com:
Additional information (eg, undocumented 8042 commands) is also available from OS/2 Museum.