AN APPROACH TO OPTIMAL SPECIFICATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL-COMPUTERS