Ana Pasztor Non-Standard Algorithmic and Dynamic Logic. 59-81 1986 2 J. Symb. Comput. 1 db/journals/jsc/jsc2.html#Pasztor86