Conway, Melvin E. and Speroni, Joseph "Arithmetizing declarations: an application to COBOL"

[ACM] (1963) [ACM] CACM 6(01) (January 1963)  

Languages mentioned State transition language {1963}