Metsker, G.S. "Checkout Test Language: An Interpretive Language Designed for Aerospace Checkout Tasks"

[AFIPS] (1967) [AFIPS] Proceedings of the 1967 Fall Joint Computer Conference FJCC 31  

Languages mentioned CTL {1968} Testing language