Additional results on key-to-address transform techniques: A fundamental performance study on large existing formatted filesV.Y. LumP.S.T. Yuen1972CACM
A boundary between decidability and undecidability for parallel program schemataRaymond E. Miller1972ACM Conference on Proving Assertions about Programs 1972
Formal development of correct algorithms: An example based on Earley's recogniserC.B. Jones1972ACM Conference on Proving Assertions about Programs 1972
Properties preserved under recursion removalH.R. StrongS.A. Walker1972ACM Conference on Proving Assertions about Programs 1972