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

Meera Blattner, Jayashree Ramanathan

Browse the full FCT paper archive.