Covering codes (Elsevier, 1997)