@inproceedings{ percolator2005oopsla,
    author = "Mangala Gowri and Christian Grothoff and Satish Chandra",
    title = "Deriving Object Typestates in te Presence of Inter-Object References",
    booktitle = "Proceedings of the 20th {ACM SIGPLAN} conference on Object-oriented programing, systems, languages, and applications",
    publisher = "ACM SIGPLAN",
    url = "http://grothoff.org/christian/percolator.pdf",
    year = "2005",
    pages = "77--96",
}