Mildred Wilkerson. The JOVIAL checker an automatic checkout system for higher level language programs. In Walter F. Bauer, editor, Papers presented at the 1961 western joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1961 (Western), Los Angeles, California, USA, May 9-11, 1961. pages 397-404, ACM, 1961. [doi]
Abstract is missing.