1. Network algebra for asynchronous dataflow;Bergstra;Int. J. Comput. Math.,1997
2. J.A. Bergstra, Gh. Ştefănescu, Network algebra for synchronous and asynchronous dataflow, Technical Report No. 122, Logic Group Preprint Series, Utrecht University, 1994.
3. J.A. Bergstra, Gh. Ştefănescu, Network algebra with demonic relation operators, Revue Roumaine de Mathematiques Pures et Applique, 43 (5-6) (1998), 503–520.
4. Varieties of iteration theories;Bloom;SIAM J. Comput.,1988
5. Iteration theories, The Equational Logic of Iterative Processes;Bloom,1993