1. Babcsányi, I., Nagy, A.: Mealy-automata in which the output-equivalence is a congruence. Acta Cybernetica 11(3), 121–126 (1994)
2. Bălănescu, T., Cowling, A.J., Georgescu, H., Gheorghe, M., Holcombe, M., Vertan, C.: Communicating stream X-machines systems are no more than X-machines. Journal of Universal Computer Science 5(9), 494–507 (1999)
3. Breitling, M., Philip, J.: Diagrams for dataflow. In: Grabowski, J., Heymer, S. (eds.) Formale Beschreibungstechniken für verteilte Systeme, pp. 101–110. Shaker Verlag (2000)
4. NATO ASI Series F;M. Broy,1993
5. Series III: Computer and System Sciences;M. Broy,2001