Proving linearizability with temporal logic
scientific article; zbMATH DE number 5900644
scientific article