Albert R. Meyer Jerzy Tiuryn Equivalences among Logics of Programs. 160-170 1984 29 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss29.html#MeyerT84