Ready to preorder: the case of weak process semantics
scientific article; zbMATH DE number 5719247