Minimalisation of DFA. Definition of an equivalence relation on the states (observational equivalence) and prove that we can form the quotient and get an equivalent DFA.
Regular Languages, list of examples, and sections 11.1 and 11.4