@inproceedings{AzmyABZ2016,
TITLE = {A Rigorous Correctness Proof for {Pastry}},
AUTHOR = {Azmy, Noran and Merz, Stephan and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-33599-5},
DOI = {10.1007/978-3-319-33600-8_5},
PUBLISHER = {Springer},
YEAR = {2016},
DATE = {2016},
BOOKTITLE = {Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016)},
EDITOR = {Butler, Michael and Schewe, Klaus-Dieter and Mashkoor, Atif and Biro, Miklos},
PAGES = {86--101},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {9675},
ADDRESS = {Linz, Austria},
}