David B. Benson;Ofer Ben-Shachar
Washington State Univ., Pullman;Wahingtonn State Univ., Pullman
Structured transition systems with parametric observations: observational congruences and minimal realizations
Mathematical Structures in Computer Science