Finite-State Models for Logical Machines (1968)

by F C Hennie