From Dynamic Algebras to Test Algebras.

Jan Reiterman Vera Trnková From Dynamic Algebras to Test Algebras. 490-497 1984 conf/mfcs/1984 MFCS db/conf/mfcs/mfcs84.html#ReitermanT84 http://dx.doi.org/10.1007/BFb0030332