A grammatical model for the top-down design of structured programs.

Meera Blattner Jayashree Ramanathan A grammatical model for the top-down design of structured programs. 71-83 1979 FCT db/conf/fct/fct79.html#BlattnerR79