A Transformation System for Developing Recursive Programs (1977)

Cached

Download Links

by R. M. Burstall , John Darlington
Citations:574 - 3 self