Vera Trnková Jan Reiterman Dynamic Algebras with Test. 229-242 1987 35 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss35.html#TrnkovaR87