ПрограммированиеBDD в действии. Разработка на основе поведения с охватом всего жизненного цикла ПОДжон Фергюсон Смарт