Austin, Joseph H. Jr. "Specification languages for control programs" pp34-37

[SIGPLAN] (1973) SIGPLAN Notices 8(09) June 1973 Proceedings of ACM SIGPLAN - SIGOPS interface meeting on Architectural Support for Programming Languages and Operating Systems, Savannah, Georgia, 1973  

Languages mentioned Mem-theory {1961} Graph-based universal language