Isi Mitrani. Fixed-Point Approximations for Distributed Systems. In Giuseppe Iazeolla, Pierre-Jacques Courtois, Arie Hordijk, editors, Computer Performance and Reliability, Proceedings of the International Workshop, Pisa, Italy, September 26-30, 1983. pages 245-257, North-Holland, 1983.