Effective Kan Fibrations in Simplicial Sets - Benno van den Berg, Eric Faber (Springer, 2022)