Dexter Kozenの"Introduction to Kleene Algebra"という、一連の講義テキストが入手可能。
No.1は、http://www.cs.cornell.edu/Courses/cs786/2004sp/Lectures/l01-intro.pdf 。$Mを適当な番号だとして、www.cs.cornell.edu/Courses/cs786/2004sp/Lectures/l$M-*.pdf というネーミングパターン。ただし、*の部分がわからないから、googleで "Introduction to Kleene Algebra" "lecture $N" として探すほうがいいかも。$Nのところがプレイスホルダーで、1, 2, ...と入れる。現在、$N=1から15、17, 19とあるようだ。なぜか、$Mと$Nは一致しないから注意。
