Ruth, Gregory R. "Automatic design of data processing systems" pp50-57

[POPL 1976] (1976) [ACM SIGACT-SIGPLAN] Proceedings of the 3rd ACM SIGACT-SIGPLAN Annual Symposium on Principles of Programming Languages (POPL) 1976  

Languages mentioned HIBOL {1981} High Level COBOL