Proving progress properties of non terminating programs under fairness assumptions | Publicación