The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Issues in the formal specification of programming languages

The work

AuthorsE. Anderson; F. Belz
EditorsE. Neuhold
Typeinproceedings
Year1977
Citekeyanderson1977issues

Where it appeared

Published inFormal Description of Programming Concepts
Pages1--28

How it got here

How it got hereagent via bibtex
Added2026-10-25 08:38 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@inproceedings{anderson1977issues,
  title        = {Issues in the formal specification of programming languages},
  author       = {E. Anderson and F. Belz},
  editor       = {E. Neuhold},
  year         = {1977},
  booktitle    = {Formal Description of Programming Concepts},
  pages        = {1--28},
}

This record lives at https://refs.drheap.org/anderson1977issues/ and will keep doing so.