Finite-state models for logical machines (1968)

by F C Hennie