"A normal form for stateful connectors" (2015) Bruni, R.;Melgratti, H.;Montanari, U. (
...)Marti-Oliet N. Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015. 9200:205-227
10.1007/978-3-319-23165-5_9
paper_03029743_v9200_n_p205_Bruni