@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" }