1. Arvind, K.P. Gostelow “The U-interpeter” IEEE Computer, Vol. 15, N. 2, Feb. 1982, pp. 42–49.
2. A. Avizienis, “The N-version Approach to Fault — Tolerant Software” IEEE Transactions on Software Engineering, Vol. SE-11, N. 12, Dec. 1985, pp. 1491–1501.
3. A. Bondavalli, L. Simoncini, “Dataflow-like Model for Robust Computations”, Journal of Computer System Science and Engineering, Butterworths, Vol. 4, N. 3, Jul. 1989, pp. 176–184.
4. A. Bondavalli, L. Simoncini, “Structured Software Fault-Tolerance with BSM”, Second Year Report, Volume 1, ESPRIT BRA Project 3092 PDCS, May 1991.
5. R.H. Campbell, A.N. Habermann, “The specification of synchronization by means of Path Expression”, L.N.C.S., Springer -Verlag, 1974.