The logical design of an idealized general-purpose computer