On the Properties and Applications of Program Schemas (1973)

by Ashok K Chandra