Gallin D. Intensional and higher-order modal logic (NH Publishing Co. [etc.], 1975, 477)(ISBN 044411002X)
