@techreport{vanstaden10reasoning, author = {Van Staden, Stephan and Calcagno, Cristiano}, title = {Reasoning about Multiple Related Abstractions with {MultiStar}}, institution = {ETH Zurich}, year = {2010}, number = {666}, urltopdf = {/people/vanstaden/MultiStar.pdf} }