The number factory: Punched-card machines at the Dutch Central Bureau of Statistics | IEEE Journals & Magazine | IEEE Xplore