R. Alvarado, P. Hajłasz, and L. Malý, “A simple proof of reflexivity and separability of N^{1,p} Sobolev spaces”, Ann. Fenn. Math., vol. 48, no. 1, pp. 255–275, Mar. 2023.