Runtime Verification by Howard Barringer | Menrva Books | MenrvaBooks