Надежность программной продукции: научное издание - Карповский Ефим Яковлевич (Тэхника, 1990)