Some observations on familiar numbers. - Daniel Richardson; Simon Langley (ISSAC, 2002)

What can we do with a Solution? - Simon Langley; Daniel Richardson (CCA, 2002)

Lazy exact real computation. - Simon Langley (2005)