Nadežnost' logičeskih sistem upravlenija - Gurevič, Aleksandr Mihajlovič (Energija, Moskva, 1970)