Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz. Interleaving semantics and action refinement with atomic choice. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1992, The DEMON Project. Volume 609 of Lecture Notes in Computer Science, pages 89-107, Springer, 1992.
Abstract is missing.