Wie sieht die Programmiersprache ATOLL aus?

Während des Apollo-Programms wurden Checkout-Tests von Trägerraketen- und Raumfahrzeugsystemen schrittweise automatisiert, weg von den manuellen Prozessen in den Anfangsjahren des Raumfahrtprogramms hin zu (fast) vollständig automatisierten Tests zur Zeit von Apollo 11.

Ein interessantes Problem, mit dem die NASA konfrontiert war, bestand darin, sicherzustellen, dass die Computerprogrammierer (die die Checkout-Test-Computerprogramme geschrieben haben) und die Test- und Designingenieure (die die Checkout-Testverfahren definiert haben) einander verstanden haben:

Bei der Entwicklung automatischer Kassengeräte konzentrierte sich eines der interessantesten Probleme auf die Schaffung einer neuen Sprache. Die in die Computerprogramme eingebundenen Sprachbänder mussten sowohl für den Fahrzeugkonstrukteur als auch für den Prüfingenieur funktionsfähig sein. Das Auslesen von Fehlfunktionen musste für Personen sinnvoll sein, die die ausgefallene oder nicht ordnungsgemäß funktionierende Hardware überarbeiten. [...]

Testingenieure stellten neue Anforderungen an die Computer, und diese neuen Anforderungen sowie der Sprachstil mussten dem Programmierer mitgeteilt werden. Um zu einer geeigneten Sprache zu gelangen, musste entweder der Testingenieur mehr über das Programmieren oder der Programmierer mehr über das Testengineering lernen. Die Lösung für dieses Dilemma war ATOLL, ein Akronym für Acceptance Test oder Launch Language, das entwickelt wurde, um viele der Lücken zwischen dem Testingenieur, dem Bühnendesigner und dem Computerprogrammierer zu schließen. ATOLL, das Ende 1963 entstand, beseitigte Verwirrung und trug dazu bei, die vielen Funktionen des automatischen Tests und der Überprüfung zu normalisieren, die im Werk des Herstellers, während des statischen Schießens und während des Betriebs am Startplatz angetroffen wurden.

(Quelle: Stages to Saturn, Kapitel 8 )

Angesichts der wichtigen Rolle, die ATOLL beim Erfolg der Saturns spielte, bin ich neugierig zu wissen, wie es aussah und wie viel "hohes Niveau" es tatsächlich war. Allerdings finde ich keine Informationen dazu. Dies ist der vollständige Wikipedia-Artikel über ATOLL :

Acceptance, Test Or Launch Language (ATOLL) war die Programmiersprache, die zur Automatisierung der Überprüfung und des Starts von Saturn-Raketen verwendet wurde.

Mit einer Referenz:

1. "SLCC ATOLL User's Manual", IBM 70-F11-0001 , Huntsville, Alabama, Dezember 1970

Dieser Bericht ist auf NTRS nicht verfügbar , und wenn Sie diese Referenz beispielsweise in Google einfügen, erhalten Sie nur eine endlose Liste von Wikipedia-Spiegeln (?).

Ich habe einen Hinweis auf ATOLL in Anhang 3 zu GOAL von "Computers in Spaceflight: The NASA Experience" gefunden :

GOAL ist eine Hochsprache, die die Terminologie von Testingenieuren verwendet, um Tests und Verfahren zu schreiben, um zu bestätigen, dass ein Shuttle-Fahrzeug startbereit ist. Als Mitte der 1960er Jahre die ersten automatisierten Preflight-Checkout-Programme geschrieben wurden, entwickelte das Marshall Space Flight Center ATOLL, eine spezielle Hochsprache zur Verwendung bei der Vorbereitung von Testverfahren. GOAL löste diese Sprache in den frühen 1970er Jahren ab.

Dieser Anhang enthält einen Ausschnitt des GOAL-Codes, und ich vermute, dass GOAL ATOLL ähnelt, aber das ist nicht mehr als eine Vermutung.

Frage: Wie sieht der ATOLL-Code aus? Gibt es Listen oder ein Referenzhandbuch?