Abstract specifications for concurrent maps - Xiong, S; da, Rocha Pinto P; Ntzik, G; Gardner, P (Springer Berlin Heidelberg, 2017)