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]
@inproceedings{Wilkerson61, title = {The JOVIAL checker an automatic checkout system for higher level language programs}, author = {Mildred Wilkerson}, year = {1961}, doi = {10.1145/1460690.1460737}, url = {https://doi.org/10.1145/1460690.1460737}, researchr = {https://researchr.org/publication/Wilkerson61}, cites = {0}, citedby = {0}, pages = {397-404}, booktitle = {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}, editor = {Walter F. Bauer}, publisher = {ACM}, isbn = {978-1-4503-7872-7}, }