Recursive decomposition ordering (1982)

by J P Jouannaud, P Lescanne, F Reinig
Venue:Formal Description of Programming Concepts 2