Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea  Adaptable transition systems.   In:  Proceedings fo the 21st International Workshop on Algebraic Development Techniques (WADT 2012).   Lecture Notes in Computer science  (7841).  Springer, pp. 95-110.  ISBN 978-3-642-37635-1      (2013)