Alasdair J. G. Gray Werner Nutt M. Howard Williams Sources of Incompleteness in Grid Publishing. 94-101 2006 BNCOD http://dx.doi.org/10.1007/11788911_8 db/conf/bncod/bncod2006.html#GrayNW06