The Orc Programming Language. - David Kitchin; Adrian Quark; William R. Cook; Jayadev Misra (FMOODS/FORTE, 2009)

Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. - David Kitchin; Adrian Quark; Jayadev Misra (Reflections on the Work of C. A. R. Hoare, 2010)