@doctoralThesis{Azmy_2016,
title={A machine-checked proof of correctness of Pastry},
author={Azmy, Noran},
doi={http://dx.doi.org/10.22028/D291-26683},
year={2016}
}