System Synthesis by Jeffrey O. Grady