Travkin, O. et al. 2013. Proving Linearizability of Multiset with Local Proof Obligations. Electronic Communications of the EASST. 53, (Jan. 2013). DOI:https://doi.org/10.14279/tuj.eceasst.53.795.