@Article{Yahav:2001:VSP,
  author =       "Eran Yahav",
  title =        "Verifying safety properties of concurrent {Java}
                 programs using 3-valued logic",
  journal =      "ACM SIG{\-}PLAN Notices",
  volume =       "36",
  number =       "3",
  pages =        "27--40",
  month =        mar,
  year =         "2001",
  coden =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Tue Apr 17 18:26:27 MDT 2001",
  url =          "http://www.acm.org/pubs/citations/proceedings/plan/360204/p27-yahav/;
                 http://www.acm.org/pubs/articles/proceedings/plan/360204/p27-yahav/p27-yahav.pdf",
  acknowledgement = ack-nhfb,
}