Author: n.e. kobrinskii and b.a. trakhtenbrot