@InProceedings{Liedtke96MicrokernelMustBeSmall,
  author =       {Jochen Liedtke},
  title =        {Microkernels Must And Can Be Small},
  booktitle =    {Proceedings of the 5th IEEE International Workshop
                  on Object-Orientation in Operating Systems (IWOOOS)},
  address =      {Seattle, WA},
  month =         oct,
  year =          1996,
  url =          {http://l4ka.org/publications/}
}