IOS Press
Fundamenta Informaticae

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