@techreport{nienaltowski06a, author = {Piotr Nienaltowski}, title = {Refined access control policy for SCOOP}, institution = {Computer Science Department, ETH Zurich}, year = {2006}, number = {511}, month = {February}, urltopdf = {ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/5xx/511.pdf} }