D. Kozen, “On Action Algebras”, DPB, vol. 21, no. 381, Jan. 1992.