The document discusses several models of human-computer interaction, including predictive models, Guiard's model of bimanual skill, and the Key-Action Model (KAM) of keyboard interaction. Guiard's model describes the different roles of the preferred and non-preferred hands in tasks. The KAM categorizes keyboard keys as symbol, executive, or modifier keys. Both models provide insights for interaction design, such as implementing scrolling with the non-preferred hand and distributing executive keys for both hands. Microsoft keyboards are cited as an example of applying these insights.