An automata-theoretic approach to linear temporal logic (1995)

by M Y Vardi
Venue:In Banff Higher Order Workshop