Title: Theory and design techniques for stored program implementations of sequential systems
First published: 1976