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