Bergstra, J. A., Middelburg, C. A., & Stefanescu, G. (1995). Network algebra for synchronous and asynchronous dataflow. (Technical Report; No. P9508). onbekend (FdL).
Bergstra, J. A., & Middelburg, C. A. (1995). Process algebra semantics of $\varphi${SDL}. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 309-346)