Schaeffer, Oksana (2008) On the use of process algebra techniques in computational modelling of cancer initiation and development. Ph.D. thesis, University of Birmingham.