BibTex format
@inproceedings{Xiong:2017:10.1007/978-3-662-54434-1_36,
author = {Xiong, S and da, Rocha Pinto P and Ntzik, G and Gardner, P},
doi = {10.1007/978-3-662-54434-1_36},
pages = {964--990},
publisher = {Springer Berlin Heidelberg},
title = {Abstract specifications for concurrent maps},
url = {http://dx.doi.org/10.1007/978-3-662-54434-1_36},
year = {2017}
}