Parameterised linearizability - Yang, H; Cerone, A; Gotsman, A (Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, 2014)