IOS Press
Fundamenta Informaticae

Baeten, J., & van Glabbeek, R. (1989). Abstraction and empty process in process algebra. Fundamenta Informaticae, 12(2), 221–241.