Reusable components for lightweight mechanisation of programming languages Haeri, Seyed Hossein Schupp, Sibylle 2013 - TUHH Open Research