Formalizing Regular Expressions

The slides are available here.