@inproceedings{FitzRoyDale_07,
    address          = {Sydney, Australia},
    author           = {Nicholas FitzRoy-Dale},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    month            = jan,
    paperurl         = {https://trustworthy.systems/publications/papers/FitzRoyDale_07.pdf},
    title            = {A declarative approach to extensible interface compilation},
    year             = {2007}
  }