Effective Kan Fibrations in Simplicial Sets - van den Berg, Benno. (Springer International Publishing AG, 2023)