Totally Preset Checking Experiments for Sequential Machines. - Gordon K. Lin; Premachandran R. Menon (IEEE Trans. Computers, 1983)