Michal Grabowski, Antoni Kreczmar. Dynamic Theories of Real and Complex Numbers. In Józef Winkowski, editor, Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Volume 64 of Lecture Notes in Computer Science, pages 239-249, Springer, 1978.
Abstract is missing.