?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-37635-1_6&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Bruni&rft.au=Bruni%2C+Roberto&rft.aufirst=Roberto&rft.isbn=978-3-642-37635-1&rft.date=2013&rft.btitle=Proceedings+fo+the+21st+International+Workshop+on+Algebraic+Development+Techniques+(WADT+2012)&rft.title=Adaptable+transition+systems&rft.genre=bookitem