@InProceedings{bauer+:monitors,
  author = 	 {Lujo Bauer and Jarred Ligatti and David Walker},
  title = 	 {Types and Effects for Non-interfering Program Monitors},
  booktitle =    {Software Security---Theories and Systems.  {Mext-NSF-JSPS} International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers},
  year = 	 {2003},
  editor = 	 {M. Okada and B. Pierce and A. Scedrov and H. Tokuda and A. Yonezawa},
  volume = 	 {2609},
  series = 	 {Lecture Notes in Computer Science},
  pages =        {154--171},
  publisher =    {Springer},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/monitors-tokyo02.pdf},
  copyright =    {Springer-Verlag},
  doi =          {10.1007/3-540-36532-X_10},
}