Click EMLex-Lecture-Buchi.ppt link to download the file.