Nadežnost' logičeskih sistem upravlenija - Gurevič, Aleksandr Mihajlovič (Biblioteka po avtomatike / Energija, Moskva ;, 1970)