@InProceedings{azmy:rigorous, author = {Noran Azmy and Stephan Merz and Christoph Weidenbach}, title = {A Rigorous Correctness Proof for {Pastry}}, booktitle = {5th Intl. Conf. Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016)}, publisher = {Springer}, year = 2016, editor = {Michael Butler and Klaus-Dieter Schewe and Atif Mashkoor and Mikl{\'o}s Bir{\'o}}, series = {LNCS}, volume = {9675}, pages = {86-101}, }