I am searching for a precise reference for the following result:

> Consider $f:\mathbb{R}_+\rightarrow\mathbb{R}_+$ a nondecreasing function.

> Assume that a sequence of nonnegative functions $(u_n)_n$ converges
> weakly in $L^2(\mathbb{R})$ to some element $u$. Assume also that
> $(f(u_n))_n$ belongs to $L^2(\mathbb{R})$ and converges weakly in this
> space to some element $v$.
> 
> Then, if $(u_n f(u_n))_n$ converges weakly (in the sense of positive
> measures say) to $uv$, one has $v=f(u)$ a.e.
> 
> If furthemore $f$ is strictly increasing, then $(u_n)_n$ converges
> a.e.

The previous result(s) belong somehow to the folklore of nonlinear PDE and are known with different namings (Minty's trick, Leray-Lions' trick *etc*).

I am searching for a precise (if possible modern) reference including the strictly increasing case.