?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.scico.2013.11.043&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Bruni&rft.aufirst=Roberto&rft.au=Bruni%2C+Roberto&rft.pages=75+-+94&rft.volume=99&rft.date=2015&rft.title=Science+of+Computer+Programming&rft.atitle=Modelling+and+analyzing+adaptive+self-assembly+strategies+with+Maude&rft.issn=0167-6423&rft.genre=article