Initial post for how to construct Hurewucz connection ?

]]>I am reading the article on Hurewicz connection

Theorem. A map $\pi:E \to B$ is a Hurewicz fibration iff there exists at least one Hurewicz connection for $\pi_!$.

I have two questions:

(1) How to formally construct the Hurewicz connection for $\pi_!$ ?

(2). It has scratched an idea of proof. May I know if anyone can reference a completed formal proof to me. (a paper or an article will be great !).

]]>