Fixed point iteration procedure