K
[KVW01] Orna Kupferman, Moshe Y. Vardi, and Pierre Wolper. Module Checking. Information and Computation 164(2):322-344. Academic Press, January 2001. 
@article{icomp164(2)-KVW,
  author =              {Kupferman, Orna and Vardi, Moshe Y. and Wolper,
                         Pierre},
  title =               {Module Checking},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {164},
  number =              {2},
  pages =               {322-344},
  year =                {2001},
  month =               jan,
}
List of authors