Simon Foster, Georg Struth, Tjark Weber: Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS 2011: 52-67