Model theory for modal logic : kripke models for modal predicate calculi - Bowen, Kenneth A. (Dordrecht : D. Reidel Publishing Company, 1979)
Bibliogr. na s. 119-122