An interpretive program for Whirlwind I is described … mathematical notation … as input and automatically proved the desired solutions. … [p. 1] The effect of our program is to … this computer and provide a programmer's manual for …
Google-1
Google-2
Copyright clearance needed for quotation.