JaworskiP., “Witt rings of fields of formal power series in two variables”, AMSil, vol. 2, pp. 13-29, Sep. 1986.