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. Mathematical Foundations of Computer Science 1989 (MFCS 14), 237–248.