On homomorphisms, simulations,correctness and subroutines for programs and program schemesJ.A. Goguen1972SWAT 1972
Bounds on Optimal Merge Performance, and a Strategy for OptimalityW.D. FrazerB.T. Bennett1972Journal of the ACM
Real-Time Simulation of Multihead Tape UnitsPatrick C. FischerAlbert R. Meyeret al.1972Journal of the ACM
SCRATCHPAD: A capsule viewJames H. GriesmerRichard D. Jenks1972Symposium on Two-Dimensional Man-Machine Communication 1972
A Stochastic Model for Message Assembly Buffering with a Comparison of Block Assignment StrategiesGary D. Schultz1972Journal of the ACM