Grazyna Mirkowska. The Representation Theorem for Algorithmic Algebras. In Dexter Kozen, editor, Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Volume 131 of Lecture Notes in Computer Science, pages 300-310, Springer, 1981.
Abstract is missing.