Linearizability Proof of Stack Data. - Junyan Qian; Guo-Qing Yao; Guang-Xi Chen; Lingzhong Zhao (ICCSA (4), 2016)