Algebra and Its Use I - ? (1960)