Adding action refinement to a finite process algebra
scientific article; zbMATH DE number 710612