Graphical notations for program design