If machines are to be used to record and count votes, these must use open-source programming code and produce a hard-copy printout which each voter can verify as accurate when casting a ballot, and which will be used in the event of a later manual recount.
Source: tatoeba (5641298)