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