Specifying Data Objects with Initial Algebras - Chris Preston (CoRR, 2009)

Computing with Equations - Chris Preston (CoRR, 2010)

Cybersecurity in Motion: A Survey of Challenges and Requirements for Future Test Facilities of CAVs. - Ioannis Mavromatis; Theodoros Spyridopoulos; Pietro Edoardo Carnelli; Woon Hau Chin; Ahmed Khalil; Jennifer Chakravarty; Lucia Cipolina Kun; Robert J. Piechocki; Colin Robbins; Daniel Cunnington; Leigh Chase; Lamogha Chiazor; et al. (CoRR, 2023)