Check out some lecture notes, e.g. https://cs.uwaterloo.ca/~watrous/LectureNotes/CPSC519.Winter...