La Palme Reyes M. and G. E. Reyes (1989). Montague’s Semantics for Intensional
Logic. Logique et Analyse 127-128. 319-335.