@inproceedings{KolanskiK-06,
  author =       {Rafal Kolanski and Gerwin Klein},
  title =        {Formalising the {L4} microkernel {API}},
  booktitle =    {Computing: The Australasian Theory Symposium (CATS 06)},
  year =      {2006},
  editor =    {Barry Jay and Joachim Gudmundsson},
  address =   {Hobart, Australia},
  month =     Jan,
  pages =     {53--68},
  series =    {Conferences in Research and Practice in Information Technology},
  volume =    {51}
}