@article{rosu-2003-cmcs, author = {Grigore Rosu}, title = {Inductive Behavioral Proofs by Unhiding.}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {1}, year = {2003} }