Conference paperModularization around a suitable abstractionStephen N. ZillesNational Computer Conference AFIPS 1975