@InProceedings{HerlihyT89,
  author = 	 {M.P. Herlihy and J.D. Tygar},
  title = 	 {Implementing distributed capabilities without a trusted kernel},
  booktitle = 	 {Proceedings of the International Working Conference on
  Dependable Computing for Critical Applications},
  year =	 1989,
  month =	 aug,
  note =	 {Reprinted in {\em Dependable Computing for Critical Applications},
Vol. 4 in the series ``Dependable Computing and Fault-Tolerant Systems''
1991, Springer-Verlag, p. 283 -- 300}
}