Vyčislitel'nyje metody teorii prinjatija rešenij - Judin, David Berkovič (Nauka, 1989)