@inproceedings{SSK99,
 author      = {Jo{\~a}o Saraiva and Doaitse Swierstra and Matthijs
		  Kuiper} ,
 title       = {{S}trictification of {C}omputations on {T}rees},
 booktitle = {Third Latin-American Conference on Functional Programming - CLAPF'99 - IFIP 2.8 working group, Recife, Brazil} ,
 year      = {1999},
 month     = {March} ,
 editor    = {Rafael Linz},
}