Programming with Grammars: An Exercise in Methodology-Directed Language Design
Eric C. R. Hehner · The Computer Journal · 1983
Our premise is that programming languages should be designed to facilitate a programming methodology. We begin with the methodology of Michael Jackson; the notation that results is similar to Hoare's communicating sequential processes. Data and processing structures are described together in one grammatical formalism.