On the Representation of Dynamic Algebras (1979)

by D KOZEN
Venue:Report RC7898. IBM Research, Yorktown Heights, New York,October