Email Record: Logic, automata, and algorithms / [by] Mark A. Aiserman [and others] Translated by Scripta Technica. Translation editor: George M. Kranc.