Recursive decomposition ordering (1982)

by J-P Jouannaud, P Lescanne, F Reinig
Venue:In Proceedings of the Second IFIP Workshop on Formal Description of Programming Concepts