Jacques Stern Characterizations of Some Classes of Regular Events. 17-42 1985 35 Theor. Comput. Sci. db/journals/tcs/tcs35.html#Stern85