Temporal logic in specification by Howard Barringer | Menrva Books | MenrvaBooks