Texas Instruments 4000M - Manual (Page 163)

References
Programming the extended VGA modes is similar to
programming the standard VGA video modes of the IBM PS/2
VGA and PS/2 Display Adapter. You may want to refer to the
following publications for details on programming VGA in
general.
IBM Personal System/2 Display Adapter Technical Reference,
April 1987,
IBM part number 68X2251 S68X-2251-0
IBM Personal System/2 and Personal Computer BIOS
Interface Technical Reference, April 1987, IBM part number
68X2260 S68X-2260-00
Programmer’s Guide to PC and PS/2 Video Systems, by
Richard Wilton, Microsoft Press, 1987 (ISBN 1-55615-103-9)
Advanced Monitor Operations
8-16 VGA External Monitor Utilities