Introduction to specification with OCL, largely based on slides by Birgit Demuth, also on this portal.
LaTeX/beamer sources can be obtained from the author Jurriaan Hage. The slides as pdf you can find here .