On sequential composition, action prefixes and process prefix / J.C.M. Baeten, J.A. Bergstra

On sequential composition, action prefixes and process prefix / J.C.M. Baeten, J.A. Bergstra