Observations on the differences between formulas and sentences and their application to programming language design

• Authors:

• B. J. MacLennan

• Affiliations:

• Intel Corporation, Aloha, OR

• Venue:
• ACM SIGPLAN Notices
• Year:
• 1979