«Computer-Aided Modeling of Reactive Systems», Warren Stewart E. benzeri kitaplar