Transformation and logic compilation of specifications of self-timed circuits

Moscow

191 pp.