1. I. A. Chegis and S. V. Yablonskii, Logical Methods for Checking Electric Circuits [in Russian], Vol. 51, Tr. Matem. Inst. Akad. Nauk SSSR im. V. A. Steklova, Moscow (1959).
2. A. N. Dmitriev, Yu. I. Zhuravlev, and F. I. Krendelev, ?Mathematical principles for classifying objects and phenomena,? in: Discrete Analysis [in Russian], No. 7, Novosibirsk (1967).
3. Yu. I. Zhuravlev and V. V. Nikiforov, ?Recognition algorithms based on the computations of bounds,? Kibernetika, No. 3 (1971).
4. V. M. Glushkov, Synthesis of Digital Automata [in Russian], Fizmatgiz, Moscow (1970).
5. N. N. Aizenberg and A. I. Tsitkin, ?Simple testors,? Dokl. Akad. Nauk SSSR,201, No. 4 (1971).