Text this: Software reliability determination for conventional and logic programming / Alireza Azem.