P. Jaworski, “Witt rings of fields of formal power series in two variables”, Ann. Math. Sil., vol. 2, pp. 13–29, Sep. 1986.