Kozen, D. On Action Algebras. DPB 1992, 21.