F
[FM98] Melvin Fitting and Richard L. Mendelsohn. First-Order Modal Logic. Synthese Library 277. Springer-Verlag, 1998. 
@book{FOML-FM98,
  author =              {Fitting, Melvin and Mendelsohn, Richard L.},
  title =               {First-Order Modal Logic},
  publisher =           {Springer-Verlag},
  series =              {Synthese Library},
  number =              {277},
  year =                {1998},
}
List of authors