@article{rosu-2003-cmcs,
    author = "Rosu, Grigore",
    doi = "http://dx.doi.org/10.1016/S1571-0661(04)80645-5",
    title = "Inductive Behavioral Proofs by Unhiding",
    journal = "Electr. Notes Theor. Comput. Sci.",
    number = "1",
    month = "April",
    volume = "82",
    year = "2003",
    pages = "285-302"
}