Pre-Adjunctions in Order Enriched Categories. - C. E. Martin; C. A. R. Hoare; Jifeng He 001 (Math. Struct. Comput. Sci., 1991)

Fractal image compression. - C. E. Martin; S. A. Curtis (J. Funct. Program., 2013)

The algebra of multirelations. - C. E. Martin; S. A. Curtis (Math. Struct. Comput. Sci., 2013)