Structural and Differential Analysis for Executables:
Formalization of Model-Driven Software Engineering:
A transformational approach to generic software development based on higher-order, typed functional signatures: