Interleaving semantics and action refinement with atomic choice. - Ingo Czaja; Rob J. van Glabbeek; Ursula Goltz (Advances in Petri Nets: The DEMON Project, 1992)