Wilkerson, M. "The JOVIAL checker, an automatic checkout system for higher level language programs" pp397-404

[JCC 19] (1961) [JCC 19] Proceedings of the Western Joint Computer Conference, May 1961  

Languages mentioned JOVIAL {1959} Airforce International Algebraic Language