Corrigendum: “A Sampler of Formal Definitions”

• Authors:

• Michael Marcotty;Henry Ledgard and Gregor V. Bochmann

• Affiliations:

• General Motors Research Laboratories, Warren, Michigan;Computer and Information Science, University of Massachusetts, Amherst, Massachusetts

• Venue:
• ACM Computing Surveys (CSUR)
• Year:
• 1977