A manual of intensional logic - Benthem, Johan van 1949- (1985)