A general conservative extension theorem in process algebras with inequalities
scientific article; zbMATH DE number 1178546
scientific article