Specifying and validating concurrent data structures(Chinese Edition) by WEN TANG LIU | Menrva Books