A Recursion Removal Theorem (1992)

by M Ward
Venue:Proc. of the 5th Refinement Workshop