[1]
L. R. Nielsen, “A Selective CPS Transformation”, BRICS, vol. 8, no. 30, Jul. 2001.