@ARTICLE{Fagin1993,
  AUTHOR =  {Fagin, R. and J. Y. Halpern},
  authorfa =     {ر. فاگین and ج. هالپرن},
  TITLE =  {Reasoning about knowledge and probability'},
  JOURNAL =  {Journal of the ACM}, 
  Volume = 41,
  Number = 2,
  YEAR =  {1993}, 
  PAGES =  {340–367}, 
}
@ARTICLE{ReusabilityRef,
  AUTHOR =  {Fowler, R. and J. Y. Halpern},
  authorfa =     {فوولر},
  TITLE =  {Enabling  Reusability in Agile Software Development},
  JOURNAL =  {International Journal of Computer Applications}, 
  Volume = 50,
  Number = 13,
  YEAR =  {2012}, 
  month={July},
}
@ARTICLE{Halpern1993,
  AUTHOR =  {Halpern, J. Y. and M. R. Tuttle},
  authorfa =     {ج. هالپرن and ام. تاتل},
  TITLE =  {Knowledge, probability, and adversaries},
  JOURNAL =  {Journal of the ACM},
  Volume =   40,
  Number =   4, 
  YEAR =  {1993}, 
  PAGES =  {917–962}, 
}

@ARTICLE{Fagin1990,
  AUTHOR =  {Fagin, R. Halpern, J. Y. and Megiddo, N.},
  authorfa =     {ر. فاگین and ج. هالپرن and ان. مگیدو},
  TITLE =  {A logic for reasoning bout probabdities},
  JOURNAL =  {Inf. Comput.},
  Volume = 87,
  Number =1, 
  YEAR =  {1990}, 
  PAGES =  {78– 128}, 
}