Springer
Lecture Notes in Computer Science
International Symposium on Mathematical Foundations of Computer Science

van Glabbeek, R., & Goltz, U. (1989). Equivalence notions for concurrent systems and refinement of actions. In Mathematical Foundations of Computer Science 1989 (MFCS 14) (pp. 237–248). Springer.