@article{hal-00384676, author = {David, Ren\'e}, title = {Computing with B\"ohm trees}, journal = {HAL}, volume = {2001}, number = {0}, year = {2001}, language = {en}, url = {http://dml.mathdoc.fr/item/hal-00384676} }
David, René. Computing with Böhm trees. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00384676/