TY  - RPRT
TI  - Serialisable Multi-Level Transaction Control: A Specification and Verification
AU  - Egon Börger
AU  - Klaus-Dieter Schewe
AU  - Qing Wang
PY  - 2017
DO  - 10.1016/j.scico.2016.03.008
UR  - https://arxiv.org/abs/1706.04043
ID  - 1706.04043
ER  -