@InProceedings{Logozzo04-2,
  author =       {Francesco Logozzo},
  title =        {Approximating Module Semantics with Constraints},
  booktitle =    {Proceedings of the 19th {ACM} {S}ymposium on {A}pplied
{C}omputing (SAC 2004)},
  pages =        {1490--1495}
  year =         {2004},
  address =      {New York},
  month =        {March},
  organization = {ACM},
  publisher =    {ACM Press}
}