Tekstiviesti: Parameterised linearizability