How Accurate Is Scientific Software? - Les Hatton; Andy Roberts (IEEE Trans. Software Eng., 1994)

Synthesizing Biological Theories. - Hillel Kugler; Cory Plock; Andy Roberts (CAV, 2011)