Sushant Patnaik Neil Immerman Dyn-FO: A Parallel, Dynamic Complexity Class. 199-209 1997 55 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss55.html#PatnaikI97