First-Order Modal Logic by Melvin Fitting & Richard L. Mendelsohn