@doctoralThesis{Lu_2013,
title={Formal verification of the pastry protocol},
author={Lu, Tianxiang},
doi={http://dx.doi.org/10.22028/D291-26550},
year={2013}
}