Intensional and higher-order modal logic : with applications to Montague semantics - Gallin, Daniel (North-Holand Publishing Company, 1975)