@article{https://resolver.caltech.edu/CaltechAUTHORS:20161117-125839946,
    title = "The remaining trouble spots in ALGOL 60",
    journal = "Communications of the ACM",
    year = "1967",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161117-125839946",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/363717.363743",
    volume = "10"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161117-130320052,
    title = "Programming Language for Automata",
    journal = "Journal of the ACM",
    year = "1967",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161117-130320052",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/321420.321421",
    volume = "14"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161117-125328860,
    title = "Additional comments on a problem in concurrent programming control",
    journal = "Communications of the ACM",
    year = "1966",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161117-125328860",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/355592.365595",
    volume = "9"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161116-173651060,
    title = "Backus Normal Form vs. Backus Naur Form",
    journal = "Communications of the ACM",
    year = "1964",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-173651060",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/355588.365140",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170815-162409189,
    title = "SOL - A Symbolic Language for General-Purpose Systems Simulation",
    journal = "IEEE Transactions on Electronic Computers",
    year = "1964",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170815-162409189",
    id = "record",
    issn = "0367-7508",
    doi = "10.1109/PGEC.1964.263821",
    volume = "EC-13"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170815-161900387,
    title = "A Formal Definition of SOL",
    journal = "IEEE Transactions on Electronic Computers",
    year = "1964",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170815-161900387",
    id = "record",
    issn = "0367-7508",
    doi = "10.1109/PGEC.1964.263822",
    volume = "EC-13"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161116-174207970,
    title = "A proposal for input-output conventions in ALGOL 60",
    journal = "Communications of the ACM",
    year = "1964",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-174207970",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/364099.364222",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161116-173245519,
    title = "Length of strings for a merge sort",
    journal = "Communications of the ACM",
    year = "1963",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-173245519",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/368310.368397",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161117-130723519,
    title = "Three Letters on Merging",
    journal = "Communications of the ACM",
    year = "1963",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161117-130723519",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/367651.367654",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161116-172115906,
    title = "Computer-drawn flowcharts",
    journal = "Communications of the ACM",
    year = "1963",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-172115906",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/367593.367620",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161116-171151185,
    title = "Evaluation of polynomials by computer",
    journal = "Communications of the ACM",
    year = "1962",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-171151185",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/355580.369074",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161117-131155097,
    title = "Backus' language",
    journal = "Communications of the ACM",
    year = "1962",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161117-131155097",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/366920.366925",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161116-170634116,
    title = "The calculation of Easter…",
    journal = "Communications of the ACM",
    year = "1962",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-170634116",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/366920.366980",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161117-131418165,
    title = "ALGOL 60 confidential",
    journal = "Communications of the ACM",
    year = "1961",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161117-131418165",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/366573.366599",
    volume = "4"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161116-161740799,
    title = "Minimizing Drum Latency Time",
    journal = "Journal of the ACM",
    year = "1961",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-161740799",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/321062.321063",
    volume = "8"
}