Trace-based derivation of a scalable lock-free stack algorithm
scientific article; zbMATH DE number 5558118