Can anyone tell what's the font used in this vintage Atari home computer manual?

http://ift.tt/2tgMApb

Great design resource

100 Things Every Designer Needs to Know About People (Voices That Matter) Submitted July 05, 2017 at 03:11PM by shooshx http://ift.tt/2sMg36T