Fred Kröger A Generalized Nexttime Operator in Temporal Logic. 80-98 1984 29 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss29.html#Kroger84