Recursive Decomposition Ordering. - Jean-Pierre Jouannaud; Pierre Lescanne; F. Reinig (Formal Description of Programming Concepts, 1982)