Title: Computer aided fault free synthesis
First published: 1976