Over−Approximating Boolean Programs with Unbounded Thread Creation - Cook, B; Kroening, D; Sharygina, N (Proceedings of FMCAD 2006, 2006)