@misc{stefan:2011:ocap,
 title        = {Analysing Object-Capability Patterns With Mur$\phi$},
 author       = {Deian Stefan and John C. Mitchell},
 howpublished = {\url{http://www.scs.stanford.edu/~deian/pubs/stefan:2011:ocap.pdf}},
 month        = {April},
 year         = {2011},
}