Charles J. Colbourn Gerzson Kéri Binary Covering Arrays and Existentially Closed Graphs. 22-33 2009 IWCC http://dx.doi.org/10.1007/978-3-642-01877-0_3 conf/codcry/2009 db/conf/codcry/iwcc2009.html#ColbournK09