• Bibliography on Module systems in Coq and Pure Type Systems