(1)
Nielsen, L. R. A Selective CPS Transformation. BRICS 2001, 8.