Kozen, D. “On Action Algebras”. DAIMI Report Series, vol. 21, no. 381, Jan. 1992, doi:10.7146/dpb.v21i381.6613.