The following documents were obtained from halicery.com:
Additional information (eg, undocumented 8042 commands) is also available from OS/2 Museum.