Using refinement calculus techniques to prove linearizability
scientific article; zbMATH DE number 6148337