Ashutosh Kumar Singh and  Anand Mohan,  Computation of Probability Coefficients using Binary Decision Diagram and their Application in Test Vector Generation.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    March 2009, vol. 27(3). 787 - 794
    [viewed 18 April 2021]. Available from: https://publications.waset.org/pdf/13366.