Codifying guarded de with recursive schemes (1994)

by Eduardo Gimenez