Review: T. Traczyk, An Equational Definition of a Class of Post Algebras