elsevier
Theoretical Computer Science
Specification and Analysis of Embedded Systems

Baeten, J., Bergstra, J., & Klop, J. W. (1987). On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science, 51(1-2), 129–176.