[doi:10.1007/BF01070240] Translated from Kybernetika; 6:49-57, November-December 1987