The evolution towards high-definition television. - Charles P. Sandbank; Ian Childs (Proc. IEEE, 1985)

On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover. - Tom Melham; Raphael Cohn; Ian Childs (CoRR, 2013)