,
elsevier
Theoretical Computer Science
Specification and Analysis of Embedded Systems

Baeten, J., Bergstra, J., Klop, J. W., & Weijland, W. P. (1989). Term-rewriting systems with rule priorities. Theoretical Computer Science, 67(2-3), 283–301.