The late 1960s and early 1970s witnessed a take off in the use of deductive, game theoretic formal modeling techniques aimed at generating a more analytical corpus of knowledge in the discipline.This period saw a surge of research that borrowed theory and methods from economics to study political institutions, such as the United States Congress, as well as political behavior, such as voting. William H. Riker and his colleagues and students at the University of Rochester were the main proponents of this shift.