Secstate Website Don't know why I couldn't find this before, when a quick search turned it up this time. Their writeup on permitted voting systems appears below.
Voters receive a paper ballot with the candidate's names.
They mark it with a special pencil or pen by darkening the oval beside the name. The ballot label remains in the voting device, and voters use a special punching tool to mark the ballot, which they then remove and drop in the ballot box. Punch cards are counted by a computer tabulator which reads the holes and tallies the votes. Voters receive a paper ballot with the candidate's names. The ballot is place in a ballot box, and later counted by counting teams at each precinct.