@Article{wulf74hydra,
  author = {W. Wulf and E. Cohen and W. Corwin and A. Jones and
                  R. Levin and C. Pierson and F. Pollack},
  title =  {{HYDRA}: The Kernel of a Multiprocessor Operating System},
  journal =  {Communications of the {ACM}},
  year =  1974,
  volume = 17,
  number = 6,
  pages = {337--345},
  month = jun
}

@inproceedings{shapiro99eros,
  author = {Jonathan S. Shapiro and Jonathan M. Smith and David J. Farber},
  title = {{EROS}: a fast capability system},
  booktitle = {Symposium on Operating Systems Principles},
  pages = {170--185},
  year = {1999},
}

@TechReport{hardy88confused-deputy,
  author = {Norm Hardy},
  title = {The Confused Deputy (or why capabilities might have been
                  invented)},
  institution = {Key Logic},
  year = 1988
}

@PhdThesis{miller06robust-composition,
  author = {Mark S. Miller},
  title = {Robust Composition: Towards a Unified Approach to Access
                  Control and Concurrency Control},
  school = {Johns Hopkins University},
  year = 2006,
  month = may
}

@PhdThesis{roscoe95structure-of-a-multi-service-os,
  author = {Timothy Roscoe},
  title = {The Structure of a Multi-Service Operating System},
  school = {University of Cambridge},
  year = 1995,
  month = aug
}

@inproceedings{ford99interface-and-execution-models,
  author = {Bryan Ford and Mike Hibler and Jay Lepreau and Roland
                  McGrath and Patrick Tullmann},
  title = {Interface and Execution Models in the Fluke Kernel},
  booktitle = {Operating Systems Design and Implementation},
  pages = {101--115},
  year = 1999
}

@inproceedings{cheriton94caching-model-of-os-kernel-functionality,
  author = {David R. Cheriton and Kenneth J. Duda},
  title = {A Caching Model of Operating System Kernel Functionality},
  booktitle = {Proceedings of the 1st Symposium on Operating Systems
                  Design and Implementation (OSDI)},
  publisher = {{USENIX} Association},
  pages = {179--193},
  month = nov,
  year = 1994
}

@inproceedings{tullmann96userlevel-checkpointing-through-exportable-kernel-state,
  author = {Patrick Tullmann and Jay Lepreau and Bryan Ford and Mike Hibler},
  title = {User-level Checkpointing Through Exportable Kernel State},
  booktitle = {Proceedings of the 2nd Symposium on Operating Systems
                  Design and Implementation ({OSDI} 96)},
  publisher = {{USENIX} Association},
  year = 1996
}

@TechReport{liedtke94page-table-structures-for-fine-grain-vm,
  author = {Jochen Liedtke},
  title = {Page Table Structures for Fine-Grain Virtual Memory},
  institution = {German National Research Center for Computer Science (GMD)},
  year = 1994,
  number = 872,
  month = oct
}

@Article{popek74requirements-for-virtualizable-architectures,
  author = {Gerald J. Popek and Robert P. Goldberg},
  title = {Formal Requirements for Virtualizable Third Generation
                  Architectures},
  journal = {Communications of the {ACM}},
  year = 1974,
  volume = 17,
  number = 7,
  pages = {412--421},
  month = jul
}