Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract)
scientific article; zbMATH DE number 6924961