Transformation of Recursive (1982)

by J Arsac
Venue:Procedures,” in Tools and Notations for Program Construction