@InProceedings{BoLeSc03,
  author = 	 {Bostan, A. and Lecerf, G.  and Schost, {\'E}.},
  title = 	 {Tellegen's Principle Into Practice},
  booktitle =	 {Proceedings of ISSAC'03},
  pages =	 {37--44},
  publisher =    {ACM Press},
  year =	 2003,
}