TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. - Kolyang 001; Christoph Lüth; Thomas Meyer 001; Burkhart Wolff (TAPSOFT, 1997)

Collage Grammars for Collision-Free Growing of Objects in 3D Scenes. - Renate Klempien-Hinrichs; Thomas Meyer 001; Caroline von Totth (AGTIVE, 2003)

Tactic-Based Optimized Compilation of Functional Programs. - Thomas Meyer 001; Burkhart Wolff (TYPES, 2004)

A framework for formal representation and transformational optimisation of executable specifications. - Thomas Meyer 001 (2008)