Hugh W. McGuire

• Book
• Two methods for checking formulas of temporal logic