@InProceedings{liedtke01LazySwitching,
  author =       {Jochen Liedtke and Horst Wenske},
  title =        {Lazy Process Switching},
  booktitle =    {Proceedings of 8th Workshop on Hot Topics in
                  Operating Systems},
  year =         2001,
  address =      {Schlo\ss{} Elmau, Oberbayern, Germany},
  month =        may # "~20--23",
  url =          {http://l4ka.org/publications/}
}