@book{33002,
	author = {Hennie, Frederick C},
	title = {Finite-state models for logical machines},
	publisher = {John Wiley},
	year = {1968},
	address = {New York}
}