Hermida, C. A. (1993) “Fibrations, Logical Predicates and Indeterminates”, DAIMI Report Series, 22(462). doi: 10.7146/dpb.v22i462.6935.