@phdthesis{Heiser:phd,
    author           = {Gernot Heiser},
    note             = {Diss.\ ETH No.\ 9382. Published by Hartung Gorre Verlag, Konstanz, Germany, Series in
                        Microelectronics, vol 13, ISBN 3-89191-440-7},
    paperUrl         = {https://trustworthy.systems/publications/papers/Heiser%3Aphd.pdf},
    school           = {ETH Z{\"u}rich},
    title            = {Design and Implementation of a Three-Dimensional General Purpose Semiconductor Device Simulator},
    year             = {1991}
  }