While searching for J.A.Brzozowski 1964 paper to correctly cite it in the documentation of some scanner implementation based on derivatives of #regularexpressions I found the S.Owens, J.Reppy, and A.Turon which happily describes exactly what I remember from a compiler construction course back in the day. This seems to be a nice and good write-up for anyone interested in that kind of stuff.