A generic abstract machine for stochastic process calculi. - Loïc Paulevé; Simon Youssef; Matthew R. Lakin; Andrew Phillips (CMSB, 2010)

Visual DSD: a design and analysis tool for DNA strand displacement systems. - Matthew R. Lakin; Simon Youssef; Filippo Polo; Stephen Emmott; Andrew Phillips (Bioinform., 2011)